HASH(0x7f5ceccd0f68)