but1 = new Image(); but1.src = "images/com/nav_overview_off.gif"; but1h = new Image(); but1h.src = "images/com/nav_overview_on.gif"; but2 = new Image(); but2.src = "images/com/nav_why_tc_off.gif"; but2h = new Image(); but2h.src = "images/com/nav_why_tc_on.gif"; but3 = new Image(); but3.src = "images/com/nav_services_off.gif"; but3h = new Image(); but3h.src = "images/com/nav_services_on.gif"; but4 = new Image(); but4.src = "images/com/nav_articles_off.gif"; but4h = new Image(); but4h.src = "images/com/nav_articles_on.gif"; } function changeImage(imgDocID,imgObjName) { //manages mouse click image behaviours //imgDocID - the name or number of the document image to be replaced //imgObjName - the name of the image object to be swapped in { document.images[imgDocID].src = eval(imgObjName + ".src"); } } //-->