[ 7 9 31 .]