document.write ("
 8040 

");