function removeSubstring(str, strRemove)
{
    if (str == null)
        return "";
            
    var     nStart = -1,
            nEnd   = -1;
    var     strReturn = str;
    var     bFound = false;
    
    nStart = str.indexOf(strRemove);
    if (nStart != -1)
    {
    do
    {
            strReturn = str.substring(0, nStart);
            
            nEnd = strRemove.length + nStart;
            if (nEnd >= str.length)
            {
                // strReturn already has everything we need, 'cause
                // we're chopping off the last segment.
                bFound = true;
                break;
            }
            if ((str.charAt(nEnd) != '|' && str.charAt(nEnd) != '%'))
            {
                // we matched a list member that's an initial substring of 
                // what we're looking for - ignore it!!
                continue;
            }

            // found a match in the middle of the list...
            bFound = true;
            strReturn += str.substring(nEnd+1);
            break;
            
    }while ((nStart = str.indexOf(nStart+nEnd+1, strRemove)) != -1)
    }
    if (!bFound)
        strReturn = str;
    return strReturn;
}        

function removeFromExpiredList(cookie, qs, domain)
{
    var list = cookie.list;
    if (list == null)
        return;
    else
        list = list.toLowerCase();
        
    list = removeSubstring(list, qs)
    
    cookie.list = list;
    //alert("new cookie list: " + cookie.list);
    
    
    // get rid of the old cookie...
    cookie.$path="/";
    cookie.$domain=domain;
    cookie.remove();
    
    // restore the new cookie...
    cookie.store();
}



function isInExpiredList(cookie, qs)
{
    var bReturn = false;
    var list = cookie.list;
    if (list != null)
    {
        list = list.toLowerCase();        
        var nStart = list.indexOf(qs);
        
        if (nStart != -1)
        {
            var nEnd = nStart + qs.length;
            if (list.length == nEnd || list.charAt(nEnd) == '|')
            {
                bReturn = true;
            }
        }
        if (list.indexOf("refresh_all_tabs") != -1)
            bReturn = true;
    }
    return bReturn;
}

// JavaScript function to return all cookie names in an array.
function getAllCookieNames() 
{
    var tempArray = document.cookie.split(";");
    var cookieNames = new Array();
    for (i in tempArray)
    {
         var iEnd = tempArray[i].indexOf("="); 
      	 cookieNames[i] = tempArray[i].substring(0,iEnd);
      	 if (cookieNames[i].substring(0,1) == " ")
      	     cookieNames[i] = cookieNames[i].substring(1);
      	 
    }
    return cookieNames;
}


function removeSomeRefreshcookies(all_cookies, cookieName, domain)
{
    var cName = (unescape(cookieName)).toLowerCase();
    var iTotal = 0;
    for (i in all_cookies)
    {
       if (all_cookies[i].length > 40)
       {
           var CurCookieName = (unescape(all_cookies[i])).toLowerCase();
           var LastEight=CurCookieName.substr(CurCookieName.length - 8,8);
           // last eight characters in cookie name ends with "\refresh" and cookie name > 40 characters
           if (LastEight == "/refresh" && CurCookieName != cName)
           {
	         // but don't delete the current one
	         // alert('will delete cookie CurCookieName='+CurCookieName);
                 var pageExpired = new Cookie(document, all_cookies[i]);
                 pageExpired.$path="/";
                 pageExpired.$domain=domain;
                 pageExpired.remove();
                 iTotal++;
                 if (iTotal > 3)  // remove 4 refresh cookies
                       break;
	   }
	}
    }
}

function addToExpiredList(cookie, qs, domain)
{
    if (qs == null || qs == "")
        return;
    var list = cookie.list;
    if (list != null)
        list = list.toLowerCase();

    if (!isInExpiredList(cookie, qs))
    {
        if (list == null || list.length == 0)
            list = qs;
        else
        {
            if (list.lastIndexOf("|") == (list.length-1))
                list = list + qs;
            else    
                list = list + "|" + qs;
        }
        cookie.list = list;
        // get rid of the old cookie...
        cookie.$path="/";
        cookie.$domain=domain;
        cookie.remove();
        // restore cookie...
        cookie.store();
    }
}

function removeFromCookie(cookie, qs, domain)
{
    removeFromExpiredList(cookie, qs, domain)
    var list = cookie.list;
    if (list == null || list == "")
    {
        cookie.$domain=domain;
        cookie.$path="/";   
        cookie.remove();
    }
}

function refreshOnExpired(cookieName, qs, domain)
{
var all_cookies = getAllCookieNames();
// remove some refresh cookies if the number of cookies >=17
if (all_cookies.length >= 17)
     removeSomeRefreshcookies(all_cookies, cookieName, domain);
var toRefresh = refreshOnExpired2(cookieName,qs,domain);
if ( !toRefresh ) {
	return false;
}
// delay refresh for IE5.0 when using https to eliminate security warning
if (navigator.appVersion.indexOf("MSIE 5.0")>0) {
     var hRefPrefix = document.location.protocol.toLowerCase();
     if (hRefPrefix == "https:") {
          setTimeout("document.location.reload();",1);
	  return true;
     }
}
     document.location.reload();
     return true;
}

function refreshOnExpired2(cookieName, qs, domain)
{
    cookieName = cookieName.toLowerCase();
    qs = qs.toLowerCase();
    var pageExpired = new Cookie(document,  cookieName);
    
    if (pageExpired.load())
    {
        //alert("found cookie");
        if (isInExpiredList(pageExpired, qs))
        {
            //alert("found cookie, reloading page");
            removeFromCookie(pageExpired, qs, domain);            
            return true;
        }
    }
    else
    { 
           //alert("cookie not found, ignore");
            return false;
    }
  
	return false;
}


function setRefreshPage(cookieName, qs, domain)
{
   cookieName = cookieName.toLowerCase();

   var pageExpired = new Cookie(document, cookieName);
    if (!pageExpired.load())
    {
        pageExpired = new Cookie(document, cookieName, 120, "/", domain);
    }

    qs = qs.toLowerCase();
    
    if (qs == null)
        qs ="?tab=DEFAULT";
    addToExpiredList(pageExpired, qs, domain);
}