function changeTabColor(id) {
	var pointer=document.getElementById(id);
	pointer.className="tabActive";
}

function restoreTabColor(id) {
	var pointer=document.getElementById(id);
	pointer.className="tab";
}