( 15 , 714 .)