öfwersättning af 9.