document.write ("1252 ");