document.write ("10842");