<!--

var imgdir = "/common/images/";

// format: [width, image name (without extension or '_on')]
var nav = {
    items: [
        [113,"nav_1_about"],
        [93,"nav_2_suppliers"],
        [101,"nav_3_contracts"],
        [60,"nav_4_staff"],
        [139,"nav_5_gallery"],
        [116,"nav_6_contact"]
    ],
    images: [],
    init: function() {
        for (var i=0;i<this.items.length;i++) {
            this.images[i] = {
                on: new Image(this.items[i][0],26),  // create a new image object with the specified width
                off: new Image(this.items[i][0],26)
            }
            this.images[i].off.src = imgdir+this.items[i][1]+'_off.gif';
            this.images[i].on.src = imgdir+this.items[i][1]+'_on.gif';
        }
    },
    over: function(i) {
        document['nav'+i].src = this.images[i].on.src;
    },
    out: function(i) {
        document['nav'+i].src = this.images[i].off.src;
    }
}

nav.init();

// -->