<style type="text/css">
<!--
body,td,th {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 10px;
}
-->
</style>
<?
if(isset($_GET["cid"]))
{
	  $file="../data/code/".$_GET["target"]."-".$_GET["cid"].".code";
	  if(file_exists($file)) show_source ($file);
}

?>