function $(a){return document.getElementById(a);}
function swTags(a){
	var tmp=a.id.split("_");
	var sid=tmp[0];
	var snum=tmp[1];
	var i=1;
	var tabs=sid+"_";
	var tags=sid+"_con_";
	while($(tabs+i)){
		if($(tabs+i)!=a){
			$(tabs+i).className="def";
		}
		i++;
	}
	var j=1;
	while($(tags+j)){
		if(snum==j){
			$(tags+j).className="dis";
		}else{
			$(tags+j).className="undis";
		}
		j++;
	}
	a.className="at";
	tmp=sid=snum=i=j=tabs=tags=null;
}