$server1name"] = 80; $configs['services2']["$server2name"] = 80; $configs['services3']["$server3name"] = 80; $configs['services4']["$server4name"] = 80; ?>