Nasıl bir PHP5'ta GIF resim dosyası sıkıştırmak istiyorsunuz?

I know that its possible to do with JPG like this imagejpeg($resource, $filename, $quality) according to http://us.php.net/manual/en/function.imagejpeg.php