function swapnav(tab_id,state){
	var newclassname = tab_id + "_" + state;
	document.getElementById(tab_id).className=newclassname;
	}