HASH(0x7f5cedf7e0e0)