document.write("8042");