document.write (11712);