document.write ("
 1272 

");