( 7.80 — 10 , 30 .)