HASH(0x7fedaf9db940)