document.write ("9252")