HASH(0x7fedfa67f8e0)