12 40 * )'