Härtill bör läggas öfver 8000