HASH(0x7fedee5c16b8)