//list of all image names to be used, in any order
names = new Array(
        "bio_off",         "bio_on",
        "dates_off",       "dates_on",
        "media_off",       "media_on",
        "articles_off",    "articles_on",
        "linkage_off",     "linkage_on");

//crap 'cause some browsers (MSIE) do not support image.src!
if (parseInt(navigator.appVersion) >= 3)
        Browser = true;
        else Browser = false;

//pre-load images
if (Browser) {
        button = new Array(names.length);
        for (i = 0; i < names.length; i++){
                b = names[i];
                button[b] = new Image();
                button[b].src = "img/" + b + ".gif";
        } // end for
} // end if

//change images
function wiggle(n,s) {
        if (Browser) {
                index = n + "_" + s;
                document[n].src = button[index].src;
        } // end if
        return true;
 } // end wiggle