Las obras costaron 15 000 millones de pesetas.