HASH(0x7fedfa6a13d0)