( 7.80 — 10.15 .)