7缩小2倍是多少?