( 42 , 577 .)