".$cvs_id_split[1]."";
$cvs_id_split[5]="".$cvs_id_split[5]."";
$cvs_id_html=join(" ",$cvs_id_split);
function addpercents($url)
{
$r=$c="";
foreach(preg_split('//', $url, -1, PREG_SPLIT_NO_EMPTY) as $c)
if (ereg("[a-zA-Z0-9]",$c))
$r.=$c;
else
$r.=sprintf("%%%02X",ord($c));
return($r);
}
function footer()
{
global $cvs_id_html,$viewcvs,$viewcvs,$HTTP_SERVER_VARS;
?>
