HASH(0x7f5ccdf40dc0)