HASH(0x7f5ca813e3f8)