$server2name'] = 80; $configs['services3']['Darren Server'] = 80; $configs['services1']['Karl Server'] = 80; $configs['services4']['Kris Server'] = 80; ?>