[ 9 00 8 .]