HASH(0x7f5ca10e7e28)