HASH(0x7fedee5ebfa8)