HASH(0x7f5cb80f42b8)