'); echo('

'.$type_text[$type].''); include("pages/routing/overview/".mres($type).".inc.php"); echo('

'); echo(''); } else { $graph_title = $type_text[$type]; $graph_type = "device_".$type; include("includes/print-device-graph.php"); } } } ?>