document.write ("
 10942 

");