HASH(0x7fedee5de6f8)