HASH(0x7f5ca43b8a10)