[ 17 * ^1]