You can try a simple function that will take an existing image and make a copied version in a different size.
<?
$size = GetImageSize("imagefile.gif");
$im_in = ImageCreateFromGif("imagefile.gif");
$im_out = ImageCreate($size[0] 4, $size[1] 4);
ImageCopyResized($im_out, $im_in, 0, 0, 0, 0 $size[0] 4, $size[1] 4
$size[0], $size[1]);
ImageGif($im_out, "newimagefile.gif");
ImageDestroy($im_in);
ImageDestroy($im_out);
?>
<img src="imagefile.gif" border="0">
<img src="newimagefile.gif" border="0">