function showdiv(div_id) {
  var myDiv = document.getElementById(div_id);
  if (myDiv) { // DOM3 = IE5, NS6
    myDiv.style.display = 'block';
  }
}

function hidediv(div_id) {
  var myDiv = document.getElementById(div_id);
  if (myDiv) { // DOM3 = IE5, NS6
    myDiv.style.display = 'none';
  }
}

function searchWithHiddenForm(song_name){
  document.hidden_search_form.label_title.value = song_name;
  document.hidden_search_form.submit()
}