<?php
  include($_SERVER["DOCUMENT_ROOT"] . "/php/index.inc");
?>