// cookie.js

function nameDefined(name) {
 var cookie=document.cookie
 var s=removeBlanks(cookie)
 var pairs=s.split(";")
 for(var i=0;i<pairs.length;++i) {
  var pairSplit=pairs[i].split("=")
  if(pairSplit[0]==name) return true
 }
 return false
}

function removeBlanks(s) {
 var temp=""
 for(var i=0;i<s.length;++i) {
  var c=s.charAt(i)
  if(c!=" ") temp += c
 }
 return temp
}

function getCookie(name) {
 var cookie=document.cookie
 var s=removeBlanks(cookie)
 var pairs=s.split(";")
 for(var i=0;i<pairs.length;++i) {
  var pairSplit=pairs[i].split("=")
  if(pairSplit[0]==name) return pairSplit[1]
 }
 return ""
}

function setCookie(name, value) {
 var newCookie = name + "=" +value
 window.document.cookie=newCookie
}