HASH(0x7f5ca00c0dd0)