products0 = new Image(); products0.src = "/img/button_products_0.gif";
products0h = new Image(); products0h.src = "/img/button_products_0h.gif";
products1 = new Image(); products1.src = "/img/button_products_1.gif";
products1h = new Image(); products1h.src = "/img/button_products_1h.gif";

contact0 = new Image(); contact0.src = "/img/button_contact_0.gif";
contact0h = new Image(); contact0h.src = "/img/button_contact_0h.gif";
contact1 = new Image(); contact1.src = "/img/button_contact_1.gif";
contact1h = new Image(); contact1h.src = "/img/button_contact_1h.gif";

company0 = new Image(); company0.src = "/img/button_company_0.gif";
company0h = new Image(); company0h.src = "/img/button_company_0h.gif";
company1 = new Image(); company1.src = "/img/button_company_1.gif";
company1h = new Image(); company1h.src = "/img/button_company_1h.gif";

function changeImage(imgDocID,imgObjName,imgDocID2,imgObjName2)
{
document.images[imgDocID].src = eval(imgObjName + ".src");
}