function hide(ElementID) {
	document.getElementById(ElementID).style.visibility='hidden';
}

function unhide(ElementID) {
	document.getElementById(ElementID).style.visibility='visible';
}