document.write (7242);