( 9 kr .)