HASH(0x7f5ca10b48d0)