HASH(0x7fedde5b0a40)