document.write("8042")