// the following variables are always present

function DebugOpen()
{
	dbg = document.getElementById('Debug');
	dbg.style.height = '20px';
}

function DebugClose()
{
	dbg = document.getElementById('Debug');
	dbg.style.height = '5px';
}