document.write (6242);