HASH(0x7f5c841ba5e0)