[ 87 12 .]