HASH(0x7fedde64f6c0)