HASH(0x7f5cccfcc6c0)