$original = imagecreatefromjpeg($rep.'/'.$currentfile);
              $miniature = imagecreatetruecolor($originalsize[0]*$miniaturey/$originalsize[1], $miniaturey);
              imagecopyresized($miniature, $original, 0, 0, 0, 0, $originalsize[0]*$miniaturey/$originalsize[1], $miniaturey, $originalsize[0], $originalsize[1]);
              imagejpeg($miniature, $rep.'/min_'.$currentfile);
              ImageDestroy($original);
              ImageDestroy($miniature);