if(!parent.isFramed){ 
 _fullUrl=document.location.href;
 _docUrl=_fullUrl.slice(_fullUrl.lastIndexOf("/")+1);
 if(_docUrl=="welcome.html") { _docUrl="";}
 else { _docUrl="?cmd="+_docUrl;}
 if(window.frames) {
  if(window.parent) { window.parent.location.replace("./index.html"+_docUrl);}
  else { document.location.replace("./index.html"+_docUrl);}
 } 
}