, ( 9 , 583 .)