( 13 , 511 .)