HASH(0x7fedce676000)