function dout(Str) {
	var Debug = document.getElementById('Debug');
	if (Debug) Debug.innerHTML = Str;
}