HASH(0x7f5c824e3ee0)