function swap_img(name,img) {
	if (document.images) {
		document[name].src = img.src;
	}
}

function set_zindex(name,value) {

   obj = document.getElementById(name);
   if (typeof obj!="undefined")
   {
    //alert ('set_zindex(' + name + ',' + value + ')');
    obj.style.zIndex=value;
   }
}