( 7 — / « 10 .)