/* funktionen für die verarbeitung von cookies
 * schreiben -> schreibt für name, wert und expire-datum einen cookie
 * lesen -> liest werte für name aus und gibt wert aus
 * loeschen -> löscht einen cookie nach namen
 */

function schreiben(name,wert,expires)
{
	var a = new Date();
	a = new Date(a.getTime() + expires);
	document.cookie = name + '=' + wert + '; expires=' + a.toGMTString() + ';';
}

function lesen(name)
{
	a = document.cookie;
	res = '';
	while (a != '')
 	{
		while (a.substr(0,1) == ' ')
		{
			a = a.substr(1,a.length);
		}
  		cookiename = a.substring(0,a.indexOf('='));
  		if (a.indexOf(';') != -1) cookiewert = a.substring(a.indexOf('=')+1,a.indexOf(';'));
  		else cookiewert = a.substr(a.indexOf('=')+1,a.length);
  		if (name == cookiename) res = cookiewert;
  		i = a.indexOf(';')+1;
  		if (i == 0) i = a.length;
  		a = a.substring(i,a.length);
 	}
	return(res);
}

function loeschen(name)
{
 	document.cookie = name + '=; expires=Thu, 01-Jan-70 00:00:01 GMT;';
}