script_ok =
(((navigator.appName =="Netscape") && (parseInt(navigator.appVersion) >= 3)) ||
((navigator.appName =="Microsoft Internet Explorer") && (parseInt(navigator.appVersion) >= 3)));


// Mouse-Over in den Menus
function preload(img)
{
 var a=new Image();
 a.src=img;
 return a;
}



// Austausch zweier Frames in den Unter-Menus
function ZweiFrames(URL1,F1,URL2,F2)
     {  
      parent.frames[F1].location.href=URL1;
      parent.frames[F2].location.href=URL2;
	
	  
     }
	 
	 
//Pull-down Menu
function formHandler(form){
var URL = document.form.site.options[document.form.site.selectedIndex].value;
window.location.href = URL;
}
	 

//Marker

function clear_mark()
{
document['mark4'].src=unmark.src;
document['mark5'].src=unmark.src;
document['mark6'].src=unmark.src;
document['mark7'].src=unmark.src;


return;
}



//Pop-up Adressen
function popup1(url1) 
{
remote1 = window.open(url1,"remote1","width=700,top=0,left=50,height=500,menubar=yes,status=no,toolbar=no,scrollbars=yes")
}
	 
	
function popup2(url2) 
{
remote2 = window.open(url2,"remote2","width=600,top=0,left=50,height=500,menubar=yes,status=no,toolbar=no,scrollbars=yes")
}
	
	
 
	
function popup3(url3) 
{
remote3 = window.open(url3,"remote3","width=1295,top=0,left=50,height=980,menubar=no,status=no,toolbar=no,scrollbars=no")
}