HASH(0x7fee12648a80)