HASH(0x7fee025cc740)