är uppenbarligen för litet ; det dubbla antalet , 40 , 000 ,är