( 7 — 9.40 .)