( 12 , 514 .)