if (typeof(window.external) != 'undefined') {
//yes, this is evil browser sniffing, but only IE has this bug
	document.getElementsByName = function(name) {
		var elems = document.getElementsByTagName('div');
		var res = [];
		for (var i=0; i<elems.length; i++) {
			att = elems[i].getAttribute('name');
			if (att==name) res.push(elems[i]);
		}
		elems = document.getElementsByTagName('span');
		for (var i=0; i<elems.length; i++) {
			att = elems[i].getAttribute('name');
			if (att==name) res.push(elems[i]);
		}
		return res;
	}
}

function swapred(name) {
	var over = document.getElementsByName(name);
	for (var i=0; i<over.length; i++) {
		if (over[i].className == "REDover") {
			over[i].className = name.substring(0, name.length-1)+"over";
		} else {
			over[i].className = "REDover";
		}
	}
}

function swapclass(name, cl1, cl2) {
	var over = document.getElementsByName(name);
	for (var i=0; i<over.length; i++) {
		if (over[i].className == cl1) {
			over[i].className = cl2;
		} else {
			over[i].className = cl1;
		}
	}
}