HASH(0x7fee31304ca0)