[ 42 * .]