( 7 — omkv.