HASH(0x7f5cedde3358)