HASH(0x7f5ca9eef4c0)