document.write (4242);