function syncToc()
{     
   if ((self != top) && (parent.theMenu)) {                
              self.document.writeln('<sc'+'ript language="javaScript">\n'); 
              self.document.writeln('function syncTocPage()\n');
              self.document.writeln('{\n');
              self.document.writeln('	var eID = parent.theMenu.findEntry(location.pathname, "url", "right", 0);\n'); 
              self.document.writeln('   if ((self != top) && (parent.theMenu) && (parent.theMenu.amBusy == false) && (eID >= 0) && (parent.theMenu.entry[eID].FirstChild != -2)) {\n');  
              self.document.writeln('      parent.theMenu.selectEntry(eID);\n'); 
              self.document.writeln('      if (parent.theMenu.setEntry(eID, true)) {\n');  
              self.document.writeln('         parent.theMenu.refresh(); }\n'); 
              self.document.writeln('   }\n');
              self.document.writeln('   else {\n');  
              self.document.writeln('      setTimeout("syncTocPage()",300);\n');
              self.document.writeln('   }\n');
              self.document.writeln('}\n');                 
              self.document.writeln('syncTocPage();\n'); 
              self.document.writeln('</sc'+'ript>\n');

   } 
   else 
   {
        if (typeof top.navPrinting == 'undefined') 
        {
            top.navPrinting = false;  
        }
        
        if ((navigator.appName + navigator.appVersion.substring(0, 1)) == "Netscape4") {
		top.navPrinting = (self.innerHeight == 0) && (self.innerWidth == 0);}
	if (!top.navPrinting) {
		var newLoc = "../../index.html?page=" + escape(self.location.pathname);
	        if (parseInt(navigator.appVersion) >= 3) {self.location.replace(newLoc);} else {self.location.href = newLoc;}
	}
   }  
                                                           

}
syncToc();
top.document.title = document.title;
document.writeln('<sc'+'ript language="javascript1.2" type="text/javascript" src="http://www.novell.com/inc/superstats.js"></sc'+'ript>');