document.write('940072');