document.write ("
 6707 

");