document.write (4742);