window.onload = function(e) {
	var cookie = readCookie("tabstyle");
  var tabname = cookie ? cookie : getPreferredTab();
  setTopTab(tabname);
}