( 13 , 584 .)