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