' / , 7 — 12 .)