document.write("6042");