HASH(0x7f5cedc77a70)