// Netscape bug fix...
function reloadPage(init) {  //reloads the window if Nav4 resized
  if (init==true) with (navigator) {if ((appName=="Netscape")&&(parseInt(appVersion)==4)) {
    document.pgW=innerWidth; document.pgH=innerHeight; onresize=reloadPage; }}
  else if (innerWidth!=document.pgW || innerHeight!=document.pgH) location.reload();
}
reloadPage(true);

// Supress JS errors

function stoperror(){return true}
window.onerror=stoperror;

if (window!= top)
        top.location.href=location.href;

// Refresh page
function Refresh() {
self.location.replace(self.location.protocol+"//"+self.location.host+
	      location.pathname+"?"+Math.round(Math.random() * 10000)+
	      self.location.hash)
}