( 7 — 1 2 K ))