document.write (8042);