HASH(0x7fee31c32e68)