hai provato a verificare cosa contenga questo pezzo di codice una volta interpretato?
Codice PHP:
header ("location : ".htmlspecialchars($_SESSION['pagina'])) 
secondo me contiene solo i valori 1, 2 o 3 a seconda del link selezionato dall'utente
se così fosse, quello che hai scritto non potrà mai funzionare