function visible_menu1(id) {
 var show_name = "show_"+id;
 var hide_name = "hide_"+id;
 var show_new_name = "show";
 var status_name = "menustatus_"+id;
 document.getElementById(show_name).style.display = "none";
 document.getElementById(hide_name).style.display = "block";
 document.getElementById(show_new_name).style.display = "block";
 document.getElementById(status_name).value = 1;
}

function visible_menu2(id) {
 var show_name = "show_"+id;
 var hide_name = "hide_"+id;
 var show_new_name = "show";
 var status_name = "menustatus_"+id;
 document.getElementById(show_name).style.display = "block";
 document.getElementById(hide_name).style.display = "none";
 document.getElementById(show_new_name).style.display = "none";
 document.getElementById(status_name).value = -1;
}

function extend_hidden(name) {
  var hide_name = "hide_"+name;
  var show_name = "show_"+name;
  document.getElementById(show_name).style.display = "block";
  document.getElementById(hide_name).style.display = "none";
}

/////Highlight textarea stuff/////

function highlight(x){
var x=x+1
document.forms[x].elements[0].select()
}