function tab(o) {
  
	tohide = new Array();
	tabs = document.getElementById("panelTabs").getElementsByTagName("a");
	for (i=0; i<3; i++) {
		tabs[i].parentNode.parentNode.className = "";
		tohide = tabs[i].href.split("#");
		document.getElementById(tohide[1]).style.display = "none";
	}
	o.parentNode.parentNode.className = "active";
	newtab = o.href.split("#");
	newtab = newtab[1];
	document.getElementById(newtab).style.display = "block";

}
