<!--
function highlighter(name, action) {
if (document.images){
	if(action == "on") {
		document.images[name].src = eval(name + "_f2.src");	}
	else
		document.images[name].src = eval(name + ".src");}
}	

var overview = new Image(); 
	overview.src = "images/menu/bt_overview.gif";
var address = new Image(); 
	address.src = "images/menu/bt_address.gif";
var weather = new Image(); 
	weather.src = "images/menu/bt_weather.gif";
var documents = new Image(); 
	documents.src = "images/menu/bt_documents.gif";
var sales = new Image(); 
	sales.src = "images/menu/bt_sales.gif";
var rciandii = new Image(); 
	rciandii.src = "images/menu/bt_rciandii.gif";
var historysw = new Image(); 
	historysw.src = "images/menu/bt_historysw.gif";
var guest = new Image(); 
	guest.src = "images/menu/bt_guest.gif";
var rental = new Image(); 
	rental.src = "images/menu/bt_availablerentals.gif";	
var contact = new Image(); 
	contact.src = "images/menu/bt_contact.gif";
var login = new Image(); 
	login.src = "images/menu/bt_login.gif";
var logout = new Image(); 
	logout.src = "images/menu/bt_logout.gif";
//var user = new Image(); 
//	user.src = "images/menu/bt_usermanagement.gif";

// Highlights	
var overview_f2 = new Image(); 
	overview_f2.src = "images/menu/bt_overview_f2.gif";
var address_f2 = new Image(); 
	address_f2.src = "images/menu/bt_address_f2.gif";
var weather_f2 = new Image(); 
	weather_f2.src = "images/menu/bt_weather_f2.gif";
var documents_f2 = new Image(); 
	documents_f2.src = "images/menu/bt_documents_f2.gif";
var sales_f2 = new Image(); 
	sales_f2.src = "images/menu/bt_sales_f2.gif";
var rciandii_f2 = new Image(); 
	rciandii_f2.src = "images/menu/bt_rciandii_f2.gif";
var historysw_f2 = new Image(); 
	historysw_f2.src = "images/menu/bt_historysw_f2.gif";
var guest_f2 = new Image(); 
	guest_f2.src = "images/menu/bt_guest_f2.gif";
var rental_f2 = new Image(); 
	rental_f2.src = "images/menu/bt_availablerentals_f2.gif";
var contact_f2 = new Image(); 
	contact_f2.src = "images/menu/bt_contact_f2.gif";
var login_f2 = new Image(); 
	login_f2.src = "images/menu/bt_login_f2.gif";
var logout_f2 = new Image(); 
	logout_f2.src = "images/menu/bt_logout_f2.gif";
//var user_f2 = new Image(); 
//	user_f2.src = "images/menu/bt_usermanagement_f2.gif";
//-->