document.write('10072');