document.write(8042);