Los musulmanes llamaron al lugar donde se libró la batalla "Siete Puercos".