iden till 9,402 invånare.