document.write ("12252")