HASH(0x7fedde5f0138)