( 7 , 80 — 9 , 48 .)