document.write (4042);