'; } ?> 

    

      
    

  


  

    

      ';
        echo $config['frontpage']['disclaimer'];
        echo '

';
      }

      if (isset($config['contact']) && !empty($config['contact'])) {
        echo 'Contact: ';
        echo ''.$config['contact']['name'].'';
      }
      ?>