document.write ("
 12640 

");