add_gif($file) if ($file =~ /\.gif$/);