file-upload - hvor tager den informationerne fra?

<?
if(isset ($_FILES [file])){
  if(copy($file,"tmp/$file_name")){
    if(is_uploaded_file($file)){
      echo "<b>Upload beendet!</b><br>";
      echo "filename: $file_name";
      echo "<br>";
      echo "filesize: $file_size Byte";
    }   
  }   
}
else
{
?>
<html><head></head>
<body bgcolor="#FFFFFF" text="#000000">
<form name="form1" enctype="multipart/form-data" method="post" action="index.php"><p>
<input type="file" name="file"><br>
<input type="submit" name="Abschicken" value="Download beginnen">
</p></form></body></html>
<?PHP
}
?>

$file_name, $file_size??? hvor tager den disse informationer fra?
kan jeg mere eller mindre selv finde ud af - hvad navnet på filen er?
kun ved at bruge $file?
på mit linux SUSE 8.2 er instillingerne lavet om, sådan, at man bliver nødt til directe at sige, hvodan en variable skal blive fyldt op ...