, [ 6717 .]