document.write ("
 8942 

");