"0") {
    $configs['services1']["$server1name"] = 80;
 }
if ($server2visible > "0") {
    $configs['services2']["$server2name"] = 80;
 }
 if ($server3visible > "0") {
    $configs['services3']["$server3name"] = 80;
 }
 if ($server4visible > "0") {
    $configs['services4']["$server4name"] = 80;
 } 
?>