De este modo se rescataron de los escombros 8.000 piedras o trozos de ellas, y de éstas se incorporaron 3.539 a la fachada exterior.