HASH(0x7fedce64b1e0)