document.write (3742);