document.write(9500)