ex. 7 kr. , 20 ex. 12 kr.