HASH(0x7f5cff1d10c0)