var IE4 = (document.all && !document.getElementById)? true : false;
var IE5 = (document.getElementById && document.all)? true : false;
var W3C = (document.getElementById)? true : false;
var ns4 = (document.layers) ? 1:0;



/* LINK AUS PULL-DOWN MENU */
// (benštigt fŸr navigation)

function jump(selSite) {
   if (selSite) var sel = selSite.options[selSite.selectedIndex].value;
   if (sel) {
     if (sel.indexOf("ttp://")>0) {
       window.open(sel,'_blank')
       } else {
       location.href = sel;
       };
     };
   return true;
}
// neu: wenn adresse mit http:// beginnt,
// wird neues fenster geoeffnet (fuer externlink)