( 712 ) .