( * 1 7 — 12 10 .)