Качество сжатия изображений GIF в PHP?

Как можно сжать файл изображения GIF в PHP5?

Я знаю, что это можно сделать с JPG вот так imagejpeg ($ ресурс, $ имя файла, $ качество) согласно http://us.php.net/manual/en/function.imagejpeg.php