HASH(0x7f5cf9142c20)