function swap_class(element_name, class_name) {
	document.getElementById(element_name).className=class_name;	
}