var InternetExplorer = navigator.appName.indexOf("Microsoft") != -1; function newPage(nextFile) { var thisFile = findThisFileName (); if (nextFile == thisFile) return; if (nextFile.indexOf("/") != -1) { self.location.href=nextFile; } else { self.location.href="/htmls/"+nextFile+"?inpg"; } } if (navigator.appName && navigator.appName.indexOf("Microsoft") != -1 && navigator.userAgent.indexOf("Windows") != -1 && navigator.userAgent.indexOf("Windows 3.1") == -1) { document.write('