document.write (5242);