function get_thumb_name($file_name){ $file_part=pathinfo($file_name); return $file_part['dirname'].”/thumb_”.$file_part['basename']; }
