HASH(0x7fedda655ea0)