HASH(0x7f5cedd05da0)