High redshift galaxies