document.write('940142');