[ 873 7 .]