document.write (1242);