document.write (9132);