9 — 10 42 .)