companyprofile_off = new Image();
companyprofile_off .src = "/cms/images/button_company profile_eng.gif";
companyprofile_on = new Image();
companyprofile_on.src = "/cms/images/button_company profile_eng_on.gif";

products_off = new Image();
products_off .src = "/cms/images/button_products_eng.gif";
products_on = new Image();
products_on.src = "/cms/images/button_products_eng_on.gif";

service_off = new Image();
service_off .src = "/cms/images/button_service_eng.gif";
service_on = new Image();
service_on.src = "/cms/images/button_service_eng_on.gif";

manufacturing_off = new Image();
manufacturing_off .src = "/cms/images/button_manufacturing_eng.gif";
manufacturing_on = new Image();
manufacturing_on.src = "/cms/images/button_manufacturing_eng_on.gif";

news_off = new Image();
news_off .src = "/cms/images/button_news_eng.gif";
news_on = new Image();
news_on.src = "/cms/images/button_news_eng_on.gif";

contact_off = new Image();
contact_off .src = "/cms/images/button_contact_eng.gif";
contact_on = new Image();
contact_on.src = "/cms/images/button_contact_eng_on.gif";

<!-- repeat the 4 lines above for any subsequent images. -->

function swap(){
if (document.images){
for (var x=0;
x<swap.arguments.length;
x+=2) {
document[swap.arguments[x]].src = eval(swap.arguments[x+1] + ".src");
}
}
}