[ 3 713 .]