<?php
/* include.inc.php -- Main include file */
/*

 Copyright (C) 2007  Jannis Schnitzer

 This document is free software: you can redistribute it and/or modify
 it under the terms of the GNU General Public License as published by
 the Free Software Foundation, either version 3 of the License, or
 (at your option) any later version.
 
 This document is distributed in the hope that it will be useful,
 but WITHOUT ANY WARRANTY; without even the implied warranty of
 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
 along with this document.  If not, see <http://www.gnu.org/licenses/>.

 */

function h ($layer, $text, $title)
{ 
  echo "<a id=\"".$title."\"></a>";
  echo "<h".$layer.">";
  echo "$text";
  echo "</h".$layer.">\n";
}
?>