document.write('940023');