9 , 80 .)