LHC is 4300 meters radius, apparently