000 , så att , om man antagerde