public static void shuffle(int[] array) {
   for (int i = 0; i < array.length; i++) {
     swap(array, i, (int) (Math.random() * array.length));
     if (SHUFFLEANIM) sleep(1);
   }
 }