document.write (1708);