HASH(0x7fedde5f07d8)