How many galaxies are in the Hubble Deep Field?