function changeClass(oldClass, newClass) {
			    var elements = document.getElementsByTagName("*");
			    for( i = 0; i < elements.length; i++ ) {
			        if( elements[i].className == oldClass ) elements[i].className = newClass;
			    }
			}