document.write ("4042");