function setCookie(name, value)
{
  var curCookie = name + "=" + escape(value);
  document.cookie = curCookie;
}

function getCookie(name)
{
  var dc = document.cookie;
  var prefix = name + "=";
  var begin = dc.indexOf("; " + prefix);
  if (begin == -1)
    {
      begin = dc.indexOf(prefix);
      if (begin != 0) return null;
    }
  else
    begin += 2;
  var end = document.cookie.indexOf(";", begin);
  if (end == -1)
    end = dc.length;
  return unescape(dc.substring(begin + prefix.length, end));
}


function deleteCookie(name, path)
{
  if (getCookie(name))
    document.cookie = name + "=" + "; expires=Thu, 01-Jan-70 00:00:01 GMT";
}


function MM_openBrWindow(theURL,winName,features) { 
  window.open(theURL,winName,features);
}