老红发在硬核群交中的双重插入。