code: private static long mix64(long z) {
          z = (z ^ (z >>> 33)) * 0xff51afd7ed558ccdL;
          z = (z ^ (z >>> 33)) * 0xc4ceb9fe1a85ec53L;
          return z ^ (z >>> 33);
      }
docs: http://gee.cs.oswego.edu/cgi-bin/viewcvs.cgi/jsr166/src/main/java/util/concurrent/ThreadLocalRandom.java