HASH(0x7f5cb42ad4e0)