HASH(0x7f5cadef01b0)