Det är 9,743 invånare i Leksand.