HASH(0x7fedee5bebc8)