ใน server มี file ที่ชื่อ 123 แล้วต้องการทำ link dowload file 123 แล้วให้ File เปลี่ยนมาเป็นอีกชื่อ ผมควรทำอย่างไรครับ

<?
header('Content-Disposition: attachment; filename="download.txt"'); 
readfile('test.txt');
?>

$file = "downloads/getfile.pdf";
header("Cache-Control: public");
header("Content-Type: application/pdf");
header("Content-Description: File Transfer");
header("Content-Transfer-Encoding: binary");
header("Content-Disposition: attachment; filename=" . $file);
header("Content-Length: " . filesize($file));
readfile($file);