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... 
*/