HASH(0x7fee12597250)