document.write (11942);