document.write ("
 1252 

");