function changeclass(thisId,thisclass) {
	elem = document.getElementById(thisId);
	elem.className=thisclass;
	}