// allgemeine jQuery-Scripte/Funktionen

//Variablendefinition
//für image-rotation der headerbilder
var image_count;
var current_image=0;

//DOM-Manipulationen
$(document).ready(function(){

//image rotation für headerbilder
image_count = $("#headerimage div").hide().size();
$("#headerimage div:eq("+current_image+")").show();
setInterval(image_rotate,5000); //time in milliseconds

function image_rotate() {
	old_image = current_image%image_count;
	new_image = ++current_image%image_count;
	$("#headerimage div:eq(" + new_image + ")").fadeIn("slow", function() {
		$("#headerimage div:eq(" + old_image + ")").fadeOut("slow");
 	});
}

});//$(document).ready(function(){



// JS function for uncrypting spam-protected emails:
function UnCryptMailto(s) {	//
	var n=0;
	var r="";
	for(var i=0; i < s.length; i++) {
		n=s.charCodeAt(i);
		if (n>=8364) {n = 128;}
		r += String.fromCharCode(n-(1));
	}
	return r;
}
// JS function for uncrypting spam-protected emails:
function linkTo_UnCryptMailto(s)	{	//
	location.href=UnCryptMailto(s);
}
// JS function for select-jumpMenues
function MM_jumpMenu(targ,selObj,restore){
	eval(targ+".location='"+selObj.options[selObj.selectedIndex].value+"'");
	if (restore) selObj.selectedIndex=0;
}