HASH(0x7f5ccdf3b0d0)