function getCookie(name) {
     var cookies = document.cookie

     var pos = cookies.indexOf(name+"=")
     if (pos != -1) {
          var start = pos + name.length+1
          var end   = cookies.indexOf(";", start)
          if (end == -1) end = cookies.length
          var value = cookies.substring(start,end)
          return (value)
     }
     else {
          return("")
     }
}

function putCookie(name, value, exp, path) {
     var cookie = name + "=" + value
     if (exp != "")
          cookie = cookie + "; expires=" + exp

     if ((path == "") || (path == undefined))
          path = "/"

     cookie = cookie + "; path=" + path

     document.cookie = cookie
}

function clearCookie(name, path, domain) {
     var cookie = name + "=; path=" + path + "; max-age=0; domain="+domain
     document.cookie=cookie
}