[ 7 57 .]