HASH(0x7feddc00fe80)