document.write('940017');