HASH(0x7f5ca32dd7b0)