/***Debugging assistance***/
function writeOutput(target,text){
	try {
		document.getElementById(target).innerHTML = text;
	}
	catch(ex){}
}

function appendOutput(target,text){
	try {
		document.getElementById(target).innerHTML += text + "<br/>";
	}
	catch(ex){}
}

function clearOutput(target){
	try {
		document.getElementById(target).innerHTML = "";
	}
	catch(ex){}
}