HASH(0x7f5cedec0a40)