document.write (7312);