images = new Array();
images['hover'] = new Array();
images['normal'] = new Array();

images['hover']['home'] = new Image();
images['hover']['home'].src = "../images/home_hover.gif";
images['hover']['contact'] = new Image();
images['hover']['contact'].src = "../images/kontakt_hover.gif";

images['normal']['home'] = new Image();
images['normal']['home'].src = "../images/home.gif";
images['normal']['contact'] = new Image();
images['normal']['contact'].src = "../images/kontakt.gif";

function changeImage(type, name) {
	if (document.images) {
		document[name].src = images[type][name].src;
	}
}

function mailto(adr) {
	location.href = "mailto:" + adr.replace(/\(at\)/g, "@");
}

function changeLanguage(lng) {
	window.location.href = "/language_changer.asp?lng=" + lng + "&url=" + document.location.href;
}