function imageresize($width, $file)
{
    $size = GetImageSize($file);
    $nsize = array($width, round(($width/$size[0])*$size[1]));
    $im = imagecreatefromjpeg($file);
    $rim = imagecreatetruecolor($$nsize[0],$nsize[1]);
    imagecopyresampled($rim, $im, 0, 0, 0, 0, $nsize[0], $nsize[1], $size[0], $size[1]);
}