deraf 7 af konungen , och 15 af kronprinsen.