¿Cuántas personas entran en el José Zorrilla?