åren till kr : 7 , 123 , 799 : 16 , hvaraf för riksdagshuset kr.