POST_VARS:
\n";
	while (list($var, $value) = each($HTTP_POST_VARS)) {
		echo "$var = [$value]
\n";
	}
	echo "
GET_VARS:
\n";
		while (list($var, $value) = each($HTTP_GET_VARS)) {
			echo "$var = [$value]
\n";
	}
	echo "
";
}
function dump_array(&$mit,$indent="") {
	while (list($key, $value) = each($mit)) {
		if (gettype($value)=="array") {
				echo "
".$indent."[$key] =";
				echo " ARRAY
\n".$indent."     [
\n";
        dump_array($value,$indent."        ");
				echo $indent."     ]
\n";
			} else {
			echo $indent."[$key] =";
			echo " [".htmlspecialchars($value)."]
\n";
		}		 
	}
}
function timer($stime,$etime)
{
	$stime=split(" ",$stime);
	$etime=split(" ",$etime);
	return $etime[0]+$etime[1]-$stime[0]-$stime[1];
}
function debuglog($mit)
{
 global $release;
 if ($release=="dev")
 	error_log(date("[G:i:s] ").$mit,3,"/tmp/php3-ibusz.log");
}
?>