HASH(0x7fee025a2e50)