");
*/
print_optionbar_start();
unset ($sep);
foreach ($datas as $type) {
if (!$_GET['opta']) { $_GET['opta'] = $type; }
echo($sep);
if ($_GET['opta'] == $type) { echo("
"); }
echo("" . $type_text[$type] ."\n");
if ($_GET['opta'] == $type) { echo(""); }
$sep = ' | ';
}
unset ($sep);
print_optionbar_end();
if (is_file("pages/device/health/".mres($_GET['opta']).".inc.php")) { include("pages/device/health/".mres($_GET['opta']).".inc.php"); }
?>