( 7 , 80 — 10 , 15;