var lastTab = document.getElementById("tab1");
var lastTabLink = document.getElementById("tablink1");
function tabclick(a)
{
	lastTabLink.className = "";
  lastTabLink = a;
  lastTabLink.className = "thistab";
  var tabId = a.href.match(/#(.*)/)[1];
  lastTab.style.display = "none";
  lastTab = document.getElementById(tabId);
  lastTab.style.display = "block";
  return false;
}