HASH(0x7fee225fcfc0)