[ 1142 * .]