document.write('940143');