document.write("800042")