HASH(0x7fedee5fa8c0)