HASH(0x7fedde5f0c50)