document.write (5712);