<?php
  include("config.php");
  // page content
?>