document.write ("
 6001 

");