Digitope Picture Converter图像转换工具，支持几乎所有的格式和批量转换，支持大小缩放。