( 19 , 511 .)