HASH(0x7fee2403f300)