document.write (9500);