HASH(0x7fee16661350)