Which Stars Are Brighter Than First Magnitude 72