document.write ("
 12480 

");