non funziona, ho copiato il tuo script... l'errore che compare è

Notice: Undefined index: pagina in C:\wamp\www\tutorial\menu.php on line 4
ok

ho scritto la pagina php così:
<?php

print "$_GET[pagina] ok";

?>

ora mi ha dato: ok, prima neanche questo...

lo script di prima l'ho copiato da un libro..... la tua mi sembra più riferita ad una sessione...
grazie per l'aiuto