document.write ("
 10272 

");