alltså 10,558 och dedit