menu_button_about = new Image();
//menu_button_about.src = "/fileadmin/template/images/about.gif";
menu_button_about.src = "/fileadmin/template/images/about.jpg";
	
menu_button_about_highlighted = new Image();
//menu_button_about_highlighted.src = "/fileadmin/template/images/about_highlighted.gif";
menu_button_about_highlighted.src = "/fileadmin/template/images/about_highlighted.jpg";

menu_button_regional = new Image();
//menu_button_regional.src = "/fileadmin/template/images/regional.gif";
menu_button_regional.src = "/fileadmin/template/images/regional.jpg";
	
menu_button_regional_highlighted = new Image();
//menu_button_regional_highlighted.src = "/fileadmin/template/images/regional_highlighted.gif";
menu_button_regional_highlighted.src = "/fileadmin/template/images/regional_highlighted.jpg";

menu_button_international = new Image();
//menu_button_international.src = "/fileadmin/template/images/international.gif";
menu_button_international.src = "/fileadmin/template/images/international.jpg";
	
menu_button_international_highlighted = new Image();
//menu_button_international_highlighted.src = "/fileadmin/template/images/international_highlighted.gif";
menu_button_international_highlighted.src = "/fileadmin/template/images/international_highlighted.jpg";

// Highlighting on MouseOver 
function menu_over(menu, pic_nr) {
	menu.style.color='#808080';	
}

// Unhighlighting on MouseOut 
function menu_out(menu) {
	menu.style.color='#000000';	
}

// Change buttons in menu button row
function change_button(pic_nr, pic) {
	window.document.images[pic_nr].src = pic.src;	
}