HASH(0x7f5ccae5ca00)