' / * 10 — 12.