document.write(4042)