|  | ' . $image . ' | ' . generate_device_link($device) . ' '
        );
echo('' . $device['sysName'] . '
 | ');
if ($port_count) { echo(' ');
echo(' '.$port_count); }
echo(' ');
if ($sensor_count) { echo('
  '.$sensor_count); }
echo(' | ' . $device['hardware'] . ' ');
echo('' . $device['features'] . '
 | ' . $device['os_text'] . ' ');
echo('' . $device['version'] . '
 | ' . formatUptime($device['uptime'], 'short') . ' ');
require 'hostbox-menu.inc.php';
echo(' ');
?>');
if (get_dev_attrib($device,'override_sysLocation_bool')) {  $device['location'] = get_dev_attrib($device,'override_sysLocation_string'); }
echo('    ' . truncate($device['location'],32, '') . '
 |