var $ = function(id)
{
	return document.getElementById(id);
}
var dbg_lc = 0;
debug = function(txt)
{
	var o = document.getElementById('debugOutput');
	o.innerHTML = ++dbg_lc + ": " + txt + "<br>" + o.innerHTML;
}