HASH(0x7fedee5ebfa0)