document.write('940138');