RE: How big is the Internet?