function GetServerList()
{
	$query = mysql_query("SELECT name FROM servers");
	
	while($row = mysql_fetch_assoc($query))
	{
		$server = "<option value=\"{$row['name']}\">{$row['name']}</option>";		
		return $server;
	}
}