HASH(0x7f5caf32dea8)