Download een bestand met een andere naam.

Ik heb nu een download script (zie hier onder) maar ik wil als je een bestand download maakt niet uit welk bestand dat als dat download scherm komt dat er dan al een filenaam staat ingevuld namelijk de inhoud van $_GET['name'], maar ik weet niet hoe ik dat moet doen. Kan iemand mij helpen?

<?php
if(file_exists("../../../f/".$_GET['file']))
{
header('Content-type: Application/octet-stream');
header('Content-Disposition: attachment; filename='.$_GET['file']);
readfile("../../../f/".$_GET['file']);
}
else
{
echo 'Bestand bestaat niet!';
}
?>



Met vriendelijke groet, Robin van der Vliet.