ungefär 16,000 kronor och tjenstemännen på stortingets kontor 4,400 kronor ; tryckning af dokument , » Riksretstidende»