HASH(0x7fedce670840)