HASH(0x7f5cde0d55e8)