DeviceOperating SystemPlatformUptime'); $device_query = mysql_query($sql); while ($device = mysql_fetch_array($device_query)) { if ( devicepermitted($device['device_id']) ) { include("includes/hostbox.inc"); } } echo(""); ?>