document.write (4994);