<!-- 
// Intranet VINCI
// COOKIES
// Dernière modification le 05/06/2009 par Frederic RENARD

// Obtenir la valeur d'un cookie
function getCookieVal (offset) {
	var endstr = document.cookie.indexOf (";", offset);
	if (endstr == -1)
	endstr = document.cookie.length;
	return unescape(document.cookie.substring(offset, endstr));
}

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;
}

// Modifier la valeur d'un cookie, les arguments :
// 1 : nom du cookie
// 2 : valeur a affecter
// 3 : date de peremption
// 4 : portee du cookie : '/' pour tout le domaine, vide sinon
// 5 : domaine
// 6 : securise 
function SetCookie (name, value) {
	var argv = SetCookie.arguments;
	var argc = SetCookie.arguments.length;
	var expires = (argc > 2) ? argv[2] : null;
	var path = (argc > 3) ? argv[3] : null;
	var domain = (argc > 4) ? argv[4] : null;
	var secure = (argc > 5) ? argv[5] : false;
	document.cookie = name + "=" + escape (value) +	
	((expires == null) ? "" : ("; expires=" + expires.toGMTString())) +	((path == null) ? "" : ("; path=" + path)) +
	((domain == null) ? "" : ("; domain=" + domain)) +
	((secure == true) ? "; secure" : "");
}

// Supprimer un cookie
function DeleteCookie (name) {
	var exp = new Date();
	exp.setTime (exp.getTime() - 2*60*1000);
	var cval = GetCookie (name);
	document.cookie = name + "=" + cval + "; expires=" + exp.toGMTString();
}

// -->