HASH(0x7fedfa654bd0)