$x = "SERVER-NAME";