( rranvirlra minst 7 decimaltum i topp,