function FrameContext(){
   if(top == self) {
      var CurrentPage = unescape(window.location.pathname);	
	if ((CurrentPage.indexOf('/') == 0) && (CurrentPage.indexOf('?') == -1)){
	   var SetContext = "/cgi/sfc.pl?a=/sys/htm/menu.html&b=" + CurrentPage;
	   var appVer = navigator.appVersion;
	   var NS = (navigator.appName == 'Netscape') && ((appVer.indexOf('3') != -1) || (appVer.indexOf('4') != -1));
	   var MSIE = (appVer.indexOf('MSIE 4') != -1);
            if (NS || MSIE)
               location.replace(SetContext);
            else 
               location.href = SetContext;
      }
   }
}