( 13 , 577 .)