'); include("includes/device-header.inc.php"); echo(''); echo('
'); echo(' "); echo('
'); ## FIXME safe?? include("pages/device/".mres($section).".inc.php"); echo("
"); } } else { include("includes/error-no-perm.inc.php"); } ?>