// Standard cookie functions

function nameDefined(c,n) {
// Check if the cookie has the defined name
var s=removeBlanks(c)
 var pairs=s.split(";")
 for(var i=0;i<pairs.length;++i) {
  var pairSplit=pairs[i].split("=")
  if(pairSplit[0]==n) 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 getCookieValue(c,n) {
// Read cookie value for the desired field
 var s=removeBlanks(c)
 var pairs=s.split(";")
 for(var i=0;i<pairs.length;++i) {
  var pairSplit=pairs[i].split("=")
  if(pairSplit[0]==n) return pairSplit[1]
 }
 return ""
}

function encode(s) {
// Encode string in acceptable cookie form
t=""
 for(var i=0;i<s.length;++i) {
  ch=s.charAt(i)
  if(ch=="/") t += "//"
  else if(ch==" ") t += "/b"
  else if(ch==",") t += "/."
  else if(ch==";") t += "/:"
  else if(ch=="\n") t += "/n"
  else if(ch=="\r") t += "/r"
  else if(ch=="\t") t += "/t"
  else if(ch=="\b") t += "/b"
  else t += ch
 }
 return t
}

function decode(s) {
 // Decode the encoded cookie value
 t=""
 if(s==null) return t
 for(var i=0;i<s.length;++i) {
  var ch=s.charAt(i)
  if(ch=="/") {
   ++i
   if(i<s.length){
	ch=s.charAt(i)
	if(ch=="/") t += ch
	else if(ch==".") t += ","
	else if(ch==":") t += ";"
	else if(ch=="n") t += "\n"
	else if(ch=="r") t += "\r"
	else if(ch=="t") t += "\t"
	else if(ch=="b") t += " "
   }
  }else t += ch
 }
 return t
}