/* 
 ----------------------------------------------
 
 Hier folgen Hilfsfunktionen zum grundlegenden 
 Erstellen, Lesen und Loeschen von Cookies:
 
 ----------------------------------------------
*/
 
/* 
 Cookie schreiben
 ================
 
 Parameter
 ---------
 name  : Key bzw. Name des Cookies
 value : zu speichernder Wert
 days  : Anzahl Tage in die Zukunft bis zum 
   Verfallsdatum des Cookies
 
 Rueckgabe
 ---------
 nichts
*/
function createCookie(name,value,days) {
 if (days) {
  var date = new Date();
  date.setTime(date.getTime()+(days*24*60*60*1000));
  var expires = "; expires="+date.toGMTString();
 }
 else var expires = "";
 document.cookie = name+"="+value+expires+"; path=/";
}
 
/* 
 Cookie auslesen
 ===============
 
 Parameter
 ---------
 name  : Key bzw. Name des 
   zu lesenden Cookies
 
 Rueckgabe
 ---------
 Wert des Cookies
*/
function readCookie(name) {
 var nameEQ = name + "=";
 var ca = document.cookie.split(';');
 for(var i=0;i < ca.length;i++) {
  var c = ca[i];
  while (c.charAt(0)==' ') c = c.substring(1,c.length);
  if (c.indexOf(nameEQ) == 0) return c.substring(nameEQ.length,c.length);
 }
 return null;
}
 
/* 
 Cookie loeschen
 ===============
 
 Parameter
 ---------
 name  : Key bzw. Name des 
   zu loeschenden Cookies
 
 Rueckgabe
 ---------
 nichts
*/
function eraseCookie(name) {
 // Cookie wird geloescht, indem das 
 // Verfallsdatum in die Vergangenheit
 // gelegt wird:
 createCookie(name,"",-1);
}