document.write('940139');