var servername = "Public ADC Internet webserver";