// JavaScript Document

// preload images:
if (document.images) {
but1 = new Image(33,466); but1.src = "images/products_on.gif";
but2 = new Image(33,466); but2.src = "images/gallery_on.gif";
but3 = new Image(33,466); but3.src = "images/services_on.gif";
but4 = new Image(33,466); but4.src = "images/about_on.gif";
but5 = new Image(33,466); but5.src = "images/contact_on.gif";

but1a = new Image(33,466); but1a.src = "images/products_off.gif";
but2a = new Image(33,466); but2a.src = "images/gallery_off.gif";
but3a = new Image(33,466); but3a.src = "images/services_off.gif";
but4a = new Image(33,466); but4a.src = "images/about_off.gif";
but5a = new Image(33,466); but5a.src = "images/contact_off.gif";
}

function hiLite(imgName,imgObjName) {
if (document.images) {
  document.images[imgName].src = eval(imgObjName + ".src");
}}