// Prüft Browser und Version 
// 3 Browserangaben sind möglich. (IE, NS oder UB = anderer/unbekannt)
// liefert true wenn der angegebene Browser in mindestens der angegebenen Version verwendet wird   
function Browser(b, version) {
  var usedB = "UB";                         
  var usedV = parseInt(navigator.appVersion);  
  if (navigator.appName == "Microsoft Internet Explorer") usedB = "IE";
  if (navigator.appName == "Netscape") usedB = "NS";
  return (usedB == b) && (usedV >= version);
}


var imgYB =  "<img src=\"images/yellow-ball.gif\" width=12 height=12 border=0 alt=\" o \">";
var imgYSB = "<img src=\"images/yellow-ball-small.gif\" width=6 height=6 border=0 alt=\"o\">"; 

function href(htm, ref, target) {
  return "<a href=\"" + ref + "\"" + ((target == null) ? "" : " target=\"" + target +"\"") + ">" + htm + "</a>";
}

function tr_img_ref(img, txt, ref, target) {
  var htm = "<tr>";
  htm += "<td>" + href(img, ref, target) + "</td>";
  htm += "<td>" + href(txt, ref, target) + "</td>";
  document.write(htm + "</tr>");
}

function tr_icon_ref(icon, txt, ref, target) {
  tr_img_ref("<img src=\"" + icon + "\" alt=\"" + txt + "\" width=16 height=16 border=0>", txt, ref, target);
}

function tr_yb_ref(txt, ref, target) {
  tr_img_ref(imgYB, txt, ref, target);
}

function tr_ref(txt, ref, target) {
  var htm = "<tr>";
  htm += "<td colspan=2>" + href(txt, ref, target) + "</td>";
  document.write(htm + "</tr>");
}


function showMap() {
  var ww = 745;                       // Fenster Breite
  var wl = screen.width - ww;         // Fenster Position Links
  var wh = 568;                       // Fenster höhe
  var wt = 0;                         // Fenster Position Oben
  var url = "filkarte.asp";
  var title = "Karte";
  window.open(url, title, "width="+ww+",height="+wh+",left="+wl+",top="+wt ).focus();
}

function showInfo (lang, topic) {  
  info = window.open("aviso_info.asp", "Info", "width=400,height=220,left=580,top=500");
  info.focus();
}

// Liefert den Wert der Auswahlliste
function getSelectedValue(obj) {
  if (document.all) return obj.value;
  else for(i=0; i<obj.length; ++i) if(obj.options[i].selected) return obj.options[i].value;
  return ""; 
}

// Liefert den Wert von Radiobuttons
function getRadioValue(obj) {
  for(i=0; i<obj.length; ++i) if(obj[i].checked) return obj[i].value;
  return ""; 
}