document.write (7942);