function div_flip() {
  divnam = "prefControl";
  vflg = document.getElementById(divnam).style.visibility;
  if (vflg == 'hidden'){
    document.getElementById(divnam).style.visibility = 'visible';
  }else{
    document.getElementById(divnam).style.visibility = 'hidden';
  }
}