<!-- 

function tocItem (name, width, height) {
this.on = new Image();
this.on.src = 'images/' + name + 'on.gif'
this.off = new Image();
this.off.src = 'images/' + name + 'off.gif'
}

function toc_new (name) {
tocItem[name] = new tocItem(name);
}

function img_act (imgName) {
    if (document.images) document[imgName].src = tocItem[imgName].on.src;
}

function img_inact (imgName) {
    if (document.images) document [imgName].src = tocItem[imgName].off.src;
}

function load_toc (name, num) {
for (i = 1; i <= num; i++) toc_new(name + i);
}

    if (document.images != null) load_toc ('toc', 6);

// -->