HASH(0x7fee065d1720)