document.write (9300);