格式合同无效案例:我还想使用金山升级精灵怎么办?能不能出台一个新的呢?