9 — 7 * /2