Commenta tutto lo switch in modo che non venga eseguito e subito prima di questo mettici
echo $_GET['pagina'];

così vedi se la variabile viene valorizzata correttamente