$server will be bad if you got 2++ weird server names that redirects to a network...
$network is my pick...