document.write (9225);