陉城县

即“陆成县”。