HASH(0x7f5ce64f86b8)