","
",$short_header); echo $short_header; echo $jscript_term; function parent_link($categ_id,$categ_see) { global $charset; global $base_path; global $opac_show_empty_categ; global $css; global $msg; if ($categ_see) $categ=$categ_see; else $categ=$categ_id; //$tcateg = new category($categ); if ($opac_show_empty_categ) $visible=true; else $visible=false; if (category::has_notices($categ)) { $link="