/************************************************
*** cookie.js
*** simple library to make, get en delete cookies
***
*** getCookie(), makeCookie() en deleteCookie()
*************************************************
*/

/*
	name: name of the cookie
*/
function getCookie(name) {
	var docc = document.cookie;
	var prefix = name + "=";
	var start = docc.indexOf("; " + prefix);
	if (start == -1) {
		start = docc.indexOf(prefix);
		if (start != 0) return null;
	} else
		start += 2;
	var end = document.cookie.indexOf(";", start);
	if (end == -1)
		end = docc.length;
	return docc.substring(start + prefix.length, end);
}
/*
	exp_ms: expiration time in milliseconds
*/
function makeCookie (name, value, exp_ms) {
	var curCookie = name + "=" + escape(value);
	if (exp_ms){
		var today = new Date();
		var myExpireTime = new Date();
		myExpireTime.setTime(today.getTime() + exp_ms);
		curCookie += ";expires=" + myExpireTime.toGMTString();
	}
	document.cookie = curCookie;
}
/*
	name: name of the cookie
*/
function deleteCookie(name) {
	document.cookie = name + "=;expires=Thu, 01-Jan-1970 00:00:01 GMT";
}