HASH(0x7f5ca4071e90)