document.write ("10252");