HASH(0x7fedee5e2b28)