Change the default server to the specified server.
   If necessary, this command uses the current default server
   to translate the specified server name into an address.

   FORMAT:
    server <server>