Fai prima il controllo se è settata 'pagina' così:
Codice PHP:
if (isset($_GET['pagina'])) {
//Qui il tuo codice
}