9 , 80 — 3;