[ 587 8 .]