document.write ("
 10231 

");