The benchmark stock market index of the Bolsa de Madrid, Spain's principal stock exchange.