Es posible que hubiera entre 8000 y 10 000 libios y unos 4000 hispanos.