( 7 — 1 / * 2 10)