document.write ("
 11940 

");