HASH(0x7fee3259f1c8)