/* obsolete, see functiondetect.js 
        var FrameBeingPrinted = false;
        if ((navigator.appName + navigator.appVersion.substring (0, 1)) ==
"Netscape4") {
                FrameBeingPrinted = (self.innerHeight ==0) && (self.innerWidth ==0);
        }
        if ((top.location == self.location) && !FrameBeingPrinted) {
             //   top.location.href = "frameset.html";
        }

*/