document.write ("17942");