document.write('0072');