$players=array(
"MasterKsa" =>0,
"il" =>0,
"LiSaK" =>0,
"XeXeTyH" =>0,
"spbwar" =>0,
"Ptica" =>0,
"Solker" =>0,
"ALLA" =>0,
"Nautilus" =>0,
"GigaByte" =>0,
"EMOboy" =>0,
"Ldir" =>0,
"aSn" =>0,
"Mikes" =>0,
"LoneWolf" =>0,
"Rotonda" =>0,
"gimli" =>0,
);

function mixplayers()
{
global $players,$mixedplayers;
foreach($players as $number)$sum+=$number;
srand($sum);
foreach(array_keys($players) as $player)
{
for($i=rand()%count($players);isset($mixedplayers[$i]);$i=rand()%count($players));
$mixedplayers[$i]=$player;
}
}