document.write (11742);