HASH(0x7f5d00dcc1d0)