HASH(0x7f5ce86c21d8)