( 13 kr .)