HASH(0x7fedde5f7010)