document.write('940007');