HASH(0x7f5cec1536b0)