document.write (8242);