function css_change(id, newClass) {
	var elem = document.getElementById(id);
	if (elem){
		elem.className = newClass;
	}
}