Kanske var det ej fullt 10 , 000,