// cube 0.2 thinex new media gbr javascript file
function menu_hover (elem) {
	if (document.getElementById('active').innerHTML != elem) {
		document.getElementById(elem).src = 'http://www.hotelkatalog24.de/bilder/gruen/' + elem + '_gruen.gif';
	}
}

function menu_release (elem) {
	if (document.getElementById('active').innerHTML != elem) {
		document.getElementById(elem).src = 'http://www.hotelkatalog24.de/bilder/blau/' + elem + '.gif';
	}
}
// cube 0.2 thinex new media gbr javascript file
function menu_hover_map (elem) {
	if (document.getElementById('active').innerHTML != elem) {
		document.getElementById(elem).src = 'http://www.hotelkatalog24.de/bilder/karten_buttons_mousover/gruen/' + elem + '_gruen.gif';
	}
}

function menu_release_map (elem) {
	if (document.getElementById('active').innerHTML != elem) {
		document.getElementById(elem).src = 'http://www.hotelkatalog24.de/bilder/karten_buttons_mousover/blau/' + elem + '.gif';
	}
}