document.write ("
 10422 

");