File $name SIZE $size TYPE $type downloaded.
"; else { header("Content-Type: $type"); echo $row_array[3]; } } else { ?>

Enter a name:
-or-
Enter a file id number: