How Big Is The Lhc At Cern