document.write (7912);