// JavaScript Document

// Rollover effects for navigation

<!--
function over(n) {
	if(document.images && document.images[n]) {
		var alt = document.images[n].src;
		var punkt = alt.lastIndexOf(".");
		var neu	= alt.substring(0, punkt) + "_over" +
		          alt.substring(punkt, alt.length);
		document.images[n].src = neu;
	}
}

function out(n) {
	if(document.images && document.images[n]) {
		var alt = document.images[n].src;
		var punkt = alt.lastIndexOf("_over.");
		var neu	= alt.substring(0, punkt) +
		          alt.substring(punkt+5, alt.length);
		document.images[n].src = neu;
	}
}
//-->