och rättens ombudsman erhöll 9 kronor.