document.write (7712);