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