åtminstone 9,700 rdr , nemligen 5,000 till nytt badhus , 3,400 till rådhustakets täckningmed