document.write (9012);