WK » , således tillsamman 12,176 man.