Dessutom vet man säkert , att af11,000