document.write (9312);