function getCookie(NameOfCookie)
{

// Prima controlliamo se c'è un cookie memorizzato.
// Altrimenti la lunghezza del document.cookie sarebbe zero.

if (document.cookie.length > 0)
{

// Poi controlliamo se il nome del cookie è conservato nell'oggetto
// "document.cookie"della pagina

// Siccome è possibile inserire più di un cookie su una
// singola pagina, è possibile che il nostro cookie
// non sia presente, anche se l'oggetto "document.cookie"
// non è solo un testo vuoto.
// Se il nome del nostro cookie non è presente, verrà memorizzato il valore -1
// nella variabile chiamata "begin".

begin = document.cookie.indexOf(NameOfCookie+"=");
if (begin != -1) // Nota: != significa "non è uguale a"
{

// Il nostro cookie era presente.
// Il valore memorizzato nel cookie viene rimandato dalla funzione.

begin += NameOfCookie.length+1;
end = document.cookie.indexOf(";", begin);
if (end == -1) end = document.cookie.length;
return unescape(document.cookie.substring(begin, end)); }
}
return null;

// Il nostro cookie non era presente.
// Il valore "null" viene rimandato dalla funzione.

}

function setCookie(NameOfCookie, value, expiredays)
{

// Servono tre variabili per creare il nuovo cookie.
// Il nome del cookie, il valore da memorizzare,
// e infine il numero di giorni fino alla scadenza del cookie.
// Le prime righe nella funzione convertono il numero dei giorni in una data
// valida.

var ExpireDate = new Date ();
ExpireDate.setTime(ExpireDate.getTime() + (expiredays * 24 * 3600 * 1000));

// La riga seguente memorizza il cookie, semplicemente
// assegnandogli
// i valori dell'oggetto "document.cookie".
// Nota che la data è riportata all'ora del Meridiano di Greenwich usando
// la funzione "toGMTstring()".

document.cookie = NameOfCookie + "=" + escape(value) +
((expiredays == null) ? "" : "; expires=" + ExpireDate.toGMTString());
}

function delCookie(NameOfCookie)
{

// La funzione controlla semplicemente se il cookie è memorizzato.
// Se lo è, la data di scadenza è fissata al 1° gennaio 1970.

if (getCookie(NameOfCookie)) {
document.cookie = NameOfCookie + "=" +
"; expires=Thu, 01-Jan-70 00:00:01 GMT";
}
}