( 5 kr. ).