document.write("4042")