( 34 , 511 .)