HASH(0x7fedda653bb0)