document.write ("
 3900 

");