HASH(0x7f5cc1de8920)