HASH(0x7f5d02bb76a0)