Perfetto, quindi significa che le variabili sono state salvate correttamente in sessione.
Però quando le richiamo non vengono stampate a video.

Codice PHP:
<?php
session_start();
$DocInt=$_SESSION['$DocInt'];
$Operatore=$_SESSION['$Operatore'];
$Data=$_SESSION['$Data'];
echo "documento: $DocInt, operatore: $Operatore, Data: $Data";
?>
il risultato è questo:

documento: , operatore: , Data: