HASH(0x7f5ceccc21f0)