document.write('10072 ');