5 ledamöter af riksrätten.