document.write ("
 10072 

");