public static function seedShuffle(&$array, $seed)
  {
      @mt_srand($seed);
      for ($i = count($array) - 1; $i > 0; --$i) {
          $j = @mt_rand(0, $i);
          $tmp = $array[$i];
          $array[$i] = $array[$j];
          $array[$j] = $tmp;
      }
  }