| ' ( 7 , 580 .)