document.write ("11842");