Cuánto es la mitad de 7.67 ​