Com cambiar el valor de una variable de sesion?

[rodrigo_00]

Código PHP:

  session_start();
 
/*
... codigo...
*/
 
//creamos la variable documento con el nombre pepe
$_SESSION["documento"] = "pepe";
 
/*
... mas codigo...
*/
 
//le cambiamos el nombre a coco
$_SESSION["documento"] = "coco";
 
/*
... y mas codigo...
*/