HASH(0x7fedee5c48b0)