document.write ("
 12271 

");