"); } 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"); } else { echo("failed to open"); } ?>