( 4 kr .)