$contestants = array();
	
	for ( $i = 0; $i < 4; $i++ ) { 
		$winners[$i] = $contestants[array_rand($contestants)];
		unset($contestants[$winners[$i]]);
	}