document.write (712);