$x ^= 715; $x >>= 1;