document.write (1712)