function elementShow(thisElementID) {
	var element = document.getElementById(thisElementID);
	if (element) {
		element.className = String(element.className).replace(/hidden/gi,'');
	}
}

function elementHide(thisElementID) {
	var element = document.getElementById(thisElementID);
	if (element) {
		element.className=String(element.className) + ((element.className!='')?' ':'') + 'hidden';
	}
}