function showLayer(LayerName) {
  setVisibility(LayerName,'visible');
}
function hideLayer(LayerName) {
  setVisibility(LayerName,'hidden');
}
function setVisibility(LayerName,Wert) {
  if(document.all || document.layers || document.getElementById) {
    var obj=document.all ? document.all[LayerName].style : document.layers ? document[LayerName] : document.getElementById(LayerName).style;
    obj.visibility = Wert;
  }
}
function select_url(x){
   location=x;
}