12 40 * );