HASH(0x7fedc08986c0)