HASH(0x7f5cb42237d8)