HASH(0x7fedda660e20)