bufvudtiteln ( civildepartementet ) på 7.185.000 kr. , sjunde hufvudtiteln ( fi nansdepartementet ) på 17 , 525 , 800 kr. , åttondebufvudtiteln