Whenever one sees <servername> as part of an address, can someone tell me what is the correct format of the server name?