( 742 ) Rättens ombudsman.