( resp. 9 kr.