/*
  JS_cookies.js
  Version 1.0
  written by Chris Heilmann
  please refer to the homepage at http://www.onlinetools.org/tools/easydynfont.php
*/

/*
  function setCookie()
  sets the cookie
*/
function setCookie(name, value, expires, path, domain, secure) {
  var curCookie = name + "=" + escape(value) +
  ((expires) ? "; expires=" + expires.toGMTString() : "") +
  ((path) ? "; path=" + path : "") +
  ((domain) ? "; domain=" + domain : "") +
  ((secure) ? "; secure" : "")
  document.cookie = curCookie
}
/*
  function getCookie()
  reads the cookie
*/
function getCookie(name) {
  var prefix = name + "="
  var cookieStartIndex = document.cookie.indexOf(prefix)
  if (cookieStartIndex == -1)
  return null
  var cookieEndIndex = document.cookie.indexOf(";", cookieStartIndex +
  prefix.length)
  if (cookieEndIndex == -1)
  cookieEndIndex = document.cookie.length
  return unescape(document.cookie.substring(cookieStartIndex +
  prefix.length,
  cookieEndIndex))
}