El Pico Ocejón visto desde Peña Gorda, FRAGUAS