document.write ("
 10125 

");