i tjensteutöfning en dito 25 kr.