How many galaxies are there?