document.write (4042)