sarò più esplicito
Codice PHP:
("location : ".htmlspecialchars($_SESSION['pagina']) . "\"")