<!--

// Creating a new cookie with name and value from parameters:
function NewCookie(name,val) {
    var today = new Date();
    var expires = new Date();
    expires.setTime(today.getTime() + 1000*60*60*24);
    document.cookie = name + "=" + escape(val) + "; expires=" + expires.toGMTString() // Cookie expires after one day from now on.
}

// The following function returns the cookie's value, for a given name.
function GetCookie(name) {
    var search = name + "="
    if (document.cookie.length > 0) {
        offset = document.cookie.indexOf(search)
        if (offset != -1) {
            offset += search.length
            end = document.cookie.indexOf(";", offset)
            if (end == -1) end = document.cookie.length;
            return unescape(document.cookie.substring(offset, end))
        }
    }
}

// Setting a new value to cookie, by name.
function SetCookie(name,value) {
    document.cookie = name + "=" + escape(value);
}

// Deleting the cookie by name:
function DeleteCookie(name) {
	if (GetCookie(name)) document.cookie = name + "=" + "; expires=Thu, 01-Jan-70 00:00:01 GMT";
}

//-->