HASH(0x7f5d05030dc0)