HASH(0x7fedfa6831c0)