{


but1 = new Image();
but1.src = "/images/nav_overview_off.gif";
but1h = new Image();
but1h.src = "/images/nav_overview_on.gif";
<!--End Company Overview-->

<!--Why Choose Us-->
but2 = new Image();
but2.src = "/images/nav_why_tc_off.gif";
but2h = new Image();
but2h.src = "/images/nav_why_tc_on.gif";
<!--End  Why Choose Us-->

<!--Service-->
but3 = new Image();
but3.src = "/images/nav_services_off.gif";
but3h = new Image();
but3h.src = "/images/nav_services_on.gif";
<!--End Services-->

<!--Articles-->
but4 = new Image();
but4.src = "/images/nav_articles_off.gif";
but4h = new Image();
but4h.src = "/images/nav_articles_on.gif";
<!--End Articles-->
}

function changeImage(imgDocID,imgObjName) {

//manages mouse click image behaviors
//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");
}

}

//-->