Random nummer

Jeg har et script her... med noget upload. Jeg har så prøvet at få den til at indsætte random nummer ($tal-filnavn) men kan ikke få det til at virke.

<?
//random nummer laves her
$tal = mt_rand(1,10000);

if (!isset($HTTP_POST_FILES['userfile'])) exit;

if (is_uploaded_file($HTTP_POST_FILES['userfile']['tmp_name'])) {

if ($HTTP_POST_FILES['userfile']['size']>$max_size) {
        echo "Fil for stor !!!"; exit; }
if (($HTTP_POST_FILES['userfile']['type']=="image/gif") || ($HTTP_POST_FILES['userfile']['type']=="image/pjpeg") || ($HTTP_POST_FILES['userfile']['type']=="image/jpeg") || ($HTTP_POST_FILES['userfile']['type']=="image/png")) {

        if (file_exists("/hsphere/local/home/neo/".$path . $HTTP_POST_FILES['userfile']['name'])) {
       
                echo "ss"; exit; }

        $res = copy($HTTP_POST_FILES['userfile']['tmp_name'], "/hsphere/local/home/neo/".$path .$HTTP_POST_FILES ['userfile'][$tal]['name']);

        if (!$res) { echo "Fejl"; exit; } else {
       
?>

Den burde være rimelig nem... men jeg har altså rodet rundt i det.