( 7 , 80 — 10.40;