( 12 , 714 .)