The mass of the galactic halo derived from the luminosity function of high-velocity stars.