Zmiana nazwy wysyłanego piku na serwer, jak to zrealizowac? Opcje

[pikornecki]

używam:

[PHP] pobierz, plaintext 
 
$nazwa = $HTTP_POST_FILES['user_file']['name'];
$plik = $HTTP_POST_FILES['user_file']['tmp_name'];
$path = 'katalog_glowny/' . $_SESSION['path'] . '/' . $nazwa;
 
// zapis obrazka do katalogu
$kopiuj = move_uploaded_file($plik, $path);
[PHP] pobierz, plaintext 

w którym miejscu i jak zmienić nazwę pliku, głównie chodzi mi o to, żeby plik zamiast nazwy np. DSC00345.jpg nazywał się 1.jpg