HASH(0x7fedde65d2b0)