demas allmänna brandförsäkringsbolag försäkrad för 18,000 kronor samt taxerad till 18,400 kr. , är intecknad för ( 0 , 000 kr.