HASH(0x7fee0259cb20)