El Barranco del Infierno también es conocido como "Franchoja" o "Choja".