4,000 kr. , för de gamla bygnaderna.