9,000 kronor ; byggnaderna,