document.write ("1252");