document.write (10712);