HASH(0x7fedee5f8db0)