$tit"); else if ($s!=$sort) echo("$tit"); else echo("$tit"); } function ng_menu($b) { extract($GLOBALS); tab_bar(4); ?>   0) { ?> + + |   |   |   |       
".Statnome($c).chr(10)); } function cr_select ($cref, $c) { echo("