ho modificato cosi

codice:
    <?
       if(isset($HTTP_GET_VARS['paginterna']))
          $pagint = $HTTP_GET_VARS['paginterna']; 
           else $pagint = "presentazione";
    ?>
sembra funzionare