document.write ("
 6072 

");