document.write (1712);