( 4 kr. ).