var gtopTab="one";
function $id(id){
	return document.getElementById(id);	
}
function changesTab(tab_id){
	if (tab_id==gtopTab){
		return;	
	}else{
		$id(gtopTab).className="unselect";	
		$id(tab_id).className="select";
		$id("tab_"+gtopTab).style.display="none";
		$id("tab_"+tab_id).style.display="block";
		gtopTab=tab_id;
	}
}