document.write (9243);