document.write(9500);