"; } $tid = sprintf("%d", $_GET["tid"]); if (file_exists("help/$tid.php")) { include("help/$tid.php"); } else { print "

".__("Help topic not found.")."

"; } print "
"; if (!$_GET["noheaders"]) { print ""; } } ?>