system("convert", "-resize", "file.gif", "newfile.gif");