function servers(){
    $a=mysql_query("SELECT name FROM servers");
    while($row=mysql_fetch_array($a)){
        $b[]=$row["name"];
    }
    return implode(',', $b);
}