function debug (t) {
    var pre = document.getElementById("debug");
	var div = document.getElementById("debug_div");
	
    if (pre)  pre.innerHTML = pre.innerHTML + "<br>" + t;
	if (div)  div.scrollTop = div.scrollHeight;
};