<!--
   function changelang()
   {
     if (top.location.pathname.indexOf("/eng/") != -1)
     {   top.location.replace(top.location.pathname.replace(/\/eng\//,"/b5/"));
     }
     else if (top.location.pathname.indexOf("/b5/") != -1)
     {   top.location.replace(top.location.pathname.replace(/\/b5\//,"/eng/"));     
      }
     else if (top.location.pathname.indexOf("\\eng\\") != -1)
     {  
     	top.location.replace(top.location.pathname.replace(/\\eng\\/,"\\b5\\"));     
      }
     else if (top.location.pathname.indexOf("\\b5\\") != -1)
     {   
         top.location.replace(top.location.pathname.replace(/\\b5\\/,"\\eng\\"));     
      }
   }

//-->