HASH(0x7fedfc0f8fa0)