( 7 — 1 * 2 K ))