// Function to create a cookie and set its value
function setzeCookie(name, wert, verfall) {
    document.cookie = escape(name) + "=" + escape(wert) + "; path=/" +
        ((verfall == null) ? "" : "; expires=" + verfall.toGMTString());
}

// Function to retrieve a cookie's value
function holeCookie(name) {
    var cookiename = name + "=";
    var dc = document.cookie;
    var anfang, ende;

    if (dc.length > 0) {
        anfang = dc.indexOf(cookiename);
        if (anfang != -1) {
            anfang += cookiename.length;
            ende = dc.indexOf(";", anfang);
            if (ende == -1) {
                ende = dc.length;
            }
            return unescape(dc.substring(anfang, ende));
        }
    }
    return null;
}

// Function to delete a cookie
function loescheCookie(name) {
    document.cookie = name + "=; expires=Thu, 01-Jan-70 00:00:01 GMT" +
        "; path=/";
}