Af badhusets penningemedel äro kr.