norskt mynt , må af andra hufvudtitelns extra utgiftsanslag ersättas.