$users) {
		if (isset ($_GET['list'])) {
			echo "$driver\n";
		} else {
			$versions = array();
			foreach ($users as $user) {
				$versions[$user['version']] = $user['version'];
			}
			echo "$driver  " . count ($users) . "  " . implode(",", $versions) . "\n";
		}
	}
	fclose($fp);
}
?>