( 42 , 511 .)