function hashtab () {
  if (document.location.hash) {
	var hel = document.getElementById(document.location.hash.substr(1) + "_tab");
	if (hel) {
	  if (hel.parentNode.parentNode.className == "boxtablist") {
		tablistview(hel);
	  }
	}
  }
}
hashtab();