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