HASH(0x7f5cec1443b0)