De äro brandförsäkrade för 9,500 kronor.