HASH(0x7f5cad1c65b0)