$text) { if (!isset($_GET['optc'])) { $_GET['optc'] = $type; } echo($sep); if ($_GET['optc'] == $type) { echo(""); #echo(''); } else { #echo(''); } echo(" " . $text .""); if ($_GET['optc'] == $type) { echo(""); } $sep = " | "; } print_optionbar_end(); if (is_file("pages/device/edit/".mres($_GET['optc']).".inc.php")) { include("pages/device/edit/".mres($_GET['optc']).".inc.php"); } } ?>