document.write (1742);