HASH(0x7f5cde0d7fe0)