// preload images
//var preload = new Array();
var prefix = "upload/navigation/";
//for(i=0; i<18; i++) {
//  nr = i < 10 ? "0" + i : i;
//  preload[i*2] = new Image();
//  preload[i*2+1] = new Image();
//  preload[i*2].src = prefix + nr + ".png";
//  preload[i*2+1].src = prefix + nr + "a.png";
//}

function changeImage(elemid, active) {
    elem = document.getElementById(elemid);
    elem.src = prefix + elemid.substr(1) + (active ? "a" : "") + ".png";
}