function GetCookie (name) {
 var arg = name + "=";
 var alen = arg.length;
 var clen = document.cookie.length;
 var i = 0;
 while (i < clen) {
 var j = i + alen;
 if (document.cookie.substring(i, j) == arg)
 return getCookieVal (j);
 i = document.cookie.indexOf(" ", i) + 1;
 if (i == 0) break;
 }
 return null;
}

function haltbarCookie(j,t,h) {
 var jetzt = new Date();
 var Tag = jetzt.getDate();
 var Monat = jetzt.getMonth();
 var Jahr = jetzt.getFullYear();
 var Std = jetzt.getHours();
 var Min = jetzt.getMinutes();
 var Sekunden = jetzt.getSeconds();
 return new Date(Jahr+j, Monat, Tag+t, Std+h, Min);
}

function SetCookie (name, value, expires, path, domain, secure) {
 document.cookie = name + "=" + escape (value) +
 ((expires) ? "; expires=" + expires.toGMTString() : "") +
 ((path) ? "; path=" + path : "") +
 ((domain) ? "; domain=" + domain : "") +
 ((secure) ? "; secure" : "");
}

function getCookieVal (offset) {
 var endstr = document.cookie.indexOf (";", offset);
 if (endstr == -1) endstr = document.cookie.length;
 return unescape(document.cookie.substring(offset, endstr));
}

function schreibeCookie(place,wert,j) {
 var haltDat = haltbarCookie(j,0,0);
 document.cookie = SetCookie(place, wert, haltDat);
}

function schreibeCookieJTH(place,wert,j,t,h) {
 var haltDat = haltbarCookie(j,t,h);
 document.cookie = SetCookie(place, wert, haltDat);
}

function leseCookie(place) {
 wert = GetCookie(place);
 return wert;
}

function SpeichernCookie() {
 var s1 = window.document.calcform.display.value;
 var s = document.getElementById("webtr").innerHTML;
 var t = document.getElementById("infodisplay").innerHTML;
 s1 = Del_(s1);
 if (s1 != t) sa = s1 + ' = ' + t + '|' + s; else sa = s;

 if (EFDown(document.getElementById("bef").style.background) == true) {
   t = document.getElementById('webtr').innerHTML.split('|');
   for (var i = 0; i < t.length; i++) {
     s = t[i].split('=');
	 if (Del_(s[0]) == Del_(s1)) return;
   }
 }
 schreibeCookie("webtr",sa,1);
 document.getElementById("webtr").innerHTML = sa;
}

function strip_tags(text) {
 return text.replace(/<\/?[^>]+>/gi, '');
}