uppgick folkmängden till 10,087 personer.