( 15 , 583 .)