function menu_dsp(divnam,flg0){
  document.getElementById(divnam).style.visibility = flg0;
}