document.write ("
 10494 

");