document.write (3942);