12516 ) ( 714;