HASH(0x7fedde5c68d0)