allora mi sa che ti sei distratta...

codice:
$files = $_GET[radiobutton]  ;
dove naturalmente radiobutton è il tuo campo nel form dove ci metti il miotxt