HASH(0x7f5cec24f3b0)