gnu.org:199.232.41.10 199.232.41.12 213.228.62.2 66.193.87.115 193.201.200.170