";
		$fc = file($file);
		$line_nos = array_keys($cc);
		foreach ($fc as $ln => $line) {
			if (in_array($ln + 1, $line_nos)) {
				$bgc = "aaaaaa";
			} else {
				$bgc = "dddddd";
			}
			echo "
";
			echo @sprintf("%3d [%2d]:\t", $ln + 1, $cc[$ln + 1]);
			echo htmlspecialchars($line);
			echo "
";
		}
		echo "