"; } function xml_tag_val($tag, $val) { echo "<".$tag.">".$val.""; //echo "<".$tag.">".$val."</".$tag.">
"; } function xml_tag_sec($tag, $open) { if ($open) $tok = "<"; else $tok = ""; } function xhtmlHeaders( $file, $title ) { ?>