af statsverket å 7 000 , af Bergens kommun 4 000 och af Bergens sparbank 10 0 kronor.