( 9 kr. ).