HASH(0x7fee12600e28)