i Allmänna olycksfallsförsäkringsbolaget för 4,000 kr.