Informalmente se conoce también como «Cerro Viejo» o «Cerro de Joco».