document.write ("
 4002 

");