HASH(0x7fedee5e7248)