toggle_class = function(elemid, class1, class2) {
	var elem = document.getElementById(elemid);
	if (elem) {
		if (class1 == elem.className) {
			elem.className = class2;
		} else {
			elem.className = class1;
		}
	}
	return false;
}