function showDiv(divId) {
    if ( divId != "" ) {
	var re = new RegExp("^sub");
        navi=divId.replace(re,"");
	subnavi="sub"+navi;
        if (document.getElementById(subnavi))document.getElementById(subnavi).style.visibility = "visible";
    }
}
function hideDiv(divId) {
    if ( divId != "" ) {
	var re = new RegExp("^sub");
    
	navi=divId.replace(re,"");
	subnavi="sub"+navi;
	 if (document.getElementById(subnavi)) document.getElementById(subnavi).style.visibility = "hidden";
    }
}