<?php

$function   = "randchar";
$filetype   = ".function.php";
$filename   = $function.$filetype;
$sourcefile = highlight_file($filename, TRUE);
$document   = NULL;

@include("HtmlDocument.template");

print($document);

?>