if (preg_match("#(gif|jpg|png|txt)#",$file_extension)) {
header("Pragma: public"); header("Expires: 0");
header("Cache-Control: must-revalidate, post-check=0, pre-check=0");
header("Cache-Control: private", false); header("Location: {$config['ATTACHMENTS_URL']}/$file");
} else {
header("Content-Type: application/octet-stream");
header("Content-Disposition: attachment; filename=\"$file_orig\";");
header("Content-Length: ".filesize("{$config['ATTACHMENTS_PATH']}/$file"));
readfile("{$config['ATTACHMENTS_PATH']}/$file");
}