[ 7.11111,[ 7.7,[