document.write("4042");