( 9 , 514 .)