en årlig pension af 4,000 kronor , och 12.