3 000 kronor och lösegendomen i Kristiania almindelige brandforsikringsselskab för 4 000 kronor.