var flashDebug_inter;
var debugID = 0;
function trace(str) {
	var debugDiv = document.getElementById("debug");
	if(debugDiv != undefined) {
		str = unescape(str);
		str = str.replace(/</g, "&lt;") ;
		str = str.replace(/>/g, "&gt;") ;
		pfx = (debugID==0)? "" : "<hr/>";
		debugDiv.innerHTML += pfx + debugID+" : "+str;
		debugID ++;
		debugDiv.scrollTop = debugDiv.scrollHeight;
	}
}
function flashDebug_clearTraces() {
	debugID = 0;
	var debugDiv = document.getElementById("debug");
	debugDiv.innerHTML = "";
}
function flashDebug_enlarge() {
	var debugDiv = document.getElementById("debug");
	debugDiv.style.height = parseInt(debugDiv.style.height) + 20;
	flashDebug_inter = setTimeout("flashDebug_enlarge()", 50);
}
function flashDebug_reduce() {
	var debugDiv = document.getElementById("debug");
	debugDiv.style.height = parseInt(debugDiv.style.height) - 20;
	if(parseInt(debugDiv.style.height) < 100){
		debugDiv.style.height = 100;
	}else{
		flashDebug_inter = setTimeout("flashDebug_reduce()", 50);
	}
}
function flashDebug_stopRedim() {
	clearTimeout(flashDebug_inter);
}


function flashDebug_init() {
	document.getElementsByTagName("body")[0].onmouseup = flashDebug_stopRedim
}

addEvent(window, "load", flashDebug_init);