Aproximadamente, ¿cuántas pinturas tiene el Monasterio de El Escorial?