ændre navnet i fil upload

hej

  if(!is_uploaded_file($_FILES["billede"]["tmp_name"])) {
    echo"Ingen upload";
    }else{

$filtyper = array("gif", "jpeg", "jpg");
$filen = pathinfo($_FILES["billede"]["name"]);
$sti = "models/";

    if(!in_array(@strtolower($filen["extension"]), $filtyper)) {
    echo"<br />Filtypen ". $_FILES["billede"]["type"] ." kan ikke uploades";
    }else{
    move_uploaded_file($_FILES["billede"]["tmp_name"], $sti . $_FILES["billede"]["name"]);
    echo"<br />Filen, ". $_FILES["billede"]["name"] ." er uploadet!";
        }
    }


hvordan laver jeg navnet til fx
"".$_SESSION['brugernavn'].".jpg"
?