( 80 , 583 .)