document.write (3712);