// show or hide a div
function showHideDiv(who, show) {
	if (show)
		document.getElementById(who).style.visibility = 'visible';
	else
		document.getElementById(who).style.visibility = 'hidden';
}