Así las cosas, dan las doce y media, y entran algunos de los que salieron a las nueve.