document.write (9250);