[ 8 0 .]