HASH(0x7f5ce86f84d8)