HASH(0x7fedfa6a6f18)