HASH(0x7fee025b1740)