document.write (13042);