private void mix()
{
abc[0] -= abc[1]; abc[0] -= abc[2]; abc[0] ^= (abc[2] >> 13);
abc[1] -= abc[2]; abc[1] -= abc[0]; abc[1] ^= (abc[0] << 8);
abc[2] -= abc[0]; abc[2] -= abc[1]; abc[2] ^= (abc[1] >> 13);
abc[0] -= abc[1]; abc[0] -= abc[2]; abc[0] ^= (abc[2] >> 12);
abc[1] -= abc[2]; abc[1] -= abc[0]; abc[1] ^= (abc[0] << 16);
abc[2] -= abc[0]; abc[2] -= abc[1]; abc[2] ^= (abc[1] >> 5);
abc[0] -= abc[1]; abc[0] -= abc[2]; abc[0] ^= (abc[2] >> 3);
abc[1] -= abc[2]; abc[1] -= abc[0]; abc[1] ^= (abc[0] << 10);
abc[2] -= abc[0]; abc[2] -= abc[1]; abc[2] ^= (abc[1] >> 15);
}