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