//
// zeige Div mit Debugdaten
//
function dbgShow(me, target) {
	me.style.color = '#ff0000';
	document.getElementById(target).style.display = 'block';
}
	
function dbgRestore(me, target) {
	me.style.color = '#666666';
	document.getElementById(target).style.display = 'none';
}