The summit of Cerro Champaqui