HASH(0x7fee31432d60)