function showHideDiv(divId) {
    if (document.getElementById(divId)) {
	if (document.getElementById(divId).style.visibility == 'visible') {
	    document.getElementById(divId).style.visibility = 'hidden';
	}
	else {
	    document.getElementById(divId).style.visibility = 'visible';
	}
    }
}