document.write ("
 3942 

");