document.write (9231);