[ 842 8 .]