och till en protokollssekreterare 100 kr. , till tre extraordinarie protokollssekreterare hvardera 60 kronor samt till höiesteretsombuden tillsammans 400 kronor.