Los 7.800 se portaron bien con el IBEX