( 5 142 kr .)