( 20 , 577 .)