[ 7 9 85 .]