HASH(0x7f5d01140e00)