document.write (9142);