// Enter Javascript here

// START Onmouseover
browser_name = navigator.appName;
browser_version = parseFloat(navigator.appVersion);
if (browser_name == "Netscape" && browser_version >= 3.0) { roll = 'true'; }
else if (browser_name == "Microsoft Internet Explorer" && browser_version >= 3.0) { roll = 'true'; }
else { roll = 'false'; }

function msover(img1,ref1) {
if (roll == 'true') {
document.images[img1].src = ref1;
}
}
function msout(img1,ref1) {
if (roll == 'true') {
document.images[img1].src = ref1;
}
}
// END Onmouseover

// START POPUP
var popINT = null    // Als Verweis auf PopINT
var winCount = 0
var winName = "popINT"
function openpopINT(winURL, winWidth, winHeight, winFeatures){
var winl = (screen.width - winWidth) / 2;
var wint = (screen.height - winHeight) / 2;

winName = "popINT" + winCount++ //einmaliger Name fuer jedes Fenster
closepopINT()           // schliesse alle vorherigen Fenster
if (openpopINT.arguments.length == 4)  // irgendwelche zusaetzlichen Optionen?
winFeatures = "status=no,scrollbars=yes" + winFeatures
else 
winFeatures =  "status=no,scrollbars=yes"
popINT = window.open(winURL, winName, "width=" + winWidth 
+ ",height=" + winHeight + ",top=" + wint + ",left=" + winl +  winFeatures)
}
		
function closepopINT(){    // Pop-Fenster schließen, wenn noch offen
if (navigator.appName != "Microsoft Internet Explorer" 
|| parseInt(navigator.appVersion) >=4) //nicht schließen bei IE3
if(popINT != null) if(!popINT.closed) popINT.close() 
}
// END POPUP