/**
@public
@brief restituisce il cookie passato come parametro
@param name Il nome del cookie da farsi restituire
@return il contenuto del cookie oppure @c null se non esiste
*/
function GetCookie(name) {
	var start = document.cookie.indexOf(name + "=");
	var len = start + name.length +1;
	if (!start && name != document.cookie.substring(0, name.length)) {
		return null;
    }

    if (-1 == start) {
		return null;
    }

	var end = document.cookie.indexOf(";", len);
	if (-1 == end) {
		end = document.cookie.length;
    }
	return unescape(document.cookie.substring(len, end));
}


/**
 @public
 @brief setta il cookie passato come parametro
 @param name Il nome del cookie da salvare
 @param value il contenuto del cookie
 @param expires validità del cookie (in giorni)
 @param path percorso del cookie
 @param domain dominio del cookie
 @param secure indica se deve essere salvato come cookie sicuro
*/
function SetCookie(name, value, expires, path, domain, secure) {
	var today = new Date();
	today.setTime(today.getTime());
	if (expires) {
		expires = expires * 1000 * 60 * 60 * 24;// conversione da giorni a milisecondi
    }
	var expires_date = new Date(today.getTime() + (expires));
	document.cookie = name +"="+ escape(value) +
		(expires ? ";expires="+ expires_date.toGMTString() : "") +
		(path ? ";path="+ path : "") +
		(domain ? ";domain="+ domain : "") +
		((secure) ? "; secure" : "");

}