HASH(0x7fee038cfdc0)