isamap = new Object();
	isamap[0] = "_df"
	isamap[1] = "_ov"
	isamap[2] = "_ot"
	
	
function menu_buttons(id, act)
	{if(document.images) document.images[id].src =
	eval( "isimages." + id + isamap[act] + ".src");}
	
	if (document.images) {
 		isimages = new Object();
		isimages.U1_df = new Image();
 		isimages.U1_df.src = "img_news.gif";
 		isimages.U1_ov = new Image();
 		isimages.U1_ov.src = "img_news_alt.gif";
 		isimages.U1_ot = new Image();
 		isimages.U1_ot.src = "img_news.gif";

		isimages.U2_df = new Image();
 		isimages.U2_df.src = "img_production.gif";
 		isimages.U2_ov = new Image();
 		isimages.U2_ov.src = "img_production_alt.gif";
 		isimages.U2_ot = new Image();
 		isimages.U2_ot.src = "img_production.gif";

		isimages.U3_df = new Image();
 		isimages.U3_df.src = "img_about.gif";
 		isimages.U3_ov = new Image();
 		isimages.U3_ov.src = "img_about_alt.gif";
 		isimages.U3_ot = new Image();
 		isimages.U3_ot.src = "img_about.gif";

		isimages.U4_df = new Image();
 		isimages.U4_df.src = "img_essential.gif";
 		isimages.U4_ov = new Image();
 		isimages.U4_ov.src = "img_essential_alt.gif";
 		isimages.U4_ot = new Image();
 		isimages.U4_ot.src = "img_essential.gif";
		
		isimages.U5_df = new Image();
 		isimages.U5_df.src = "img_contacts.gif";
 		isimages.U5_ov = new Image();
 		isimages.U5_ov.src = "img_contacts_alt.gif";
 		isimages.U5_ot = new Image();
 		isimages.U5_ot.src = "img_contacts.gif";
}