document.write ("
 3002 

");