document.write('6072 ');