'device',
                    'device'  => $device['device_id'],
                    'tab'     => 'health');
print_optionbar_start();
echo("Health » ");
if (!$vars['metric']) { $vars['metric'] = "overview"; }
unset($sep);
foreach ($datas as $type)
{
  echo($sep);
  if ($vars['metric'] == $type)
  { echo('"); }
  $sep = " | ";
}
print_optionbar_end();
if (is_file("pages/device/health/".mres($vars['metric']).".inc.php"))
{
   include("pages/device/health/".mres($vars['metric']).".inc.php");
} else {
  foreach ($datas as $type)
  {
    if ($type != "overview")
    {
      $graph_title = $type_text[$type];
      $graph_type = "device_".$type;
      include("includes/print-device-graph.php");
    }
  }
}
$pagetitle[] = "Health";
?>