HASH(0x7fedde5d20c8)