The following names are used to discover the IP address of hosts providing a particular service within a school.