function saveCookie(name, value, hours) {
	if (hours) {
		var date = new Date();
		date.setTime(date.getTime()+(hours*3600000));
		var expires = "; expires="+date.toGMTString();
	}
	else
		expires = "";
	document.cookie = name+"="+value+expires+"; path=/";
}
function readCookie(name) {
	var nameEQ = name + "=";
	var ca = document.cookie.split(';');
	for (var i=0; i<ca.length; i++) {
		var ch = ca[i];
		while (ch.charAt(0)==' ')
			ch = ch.substring(1, ch.length);
		if (ch.indexOf(nameEQ) == 0)
			return ch.substring(nameEQ.length, ch.length);
	}
	return null
}
function deleteCookie(name) {
	saveCookie(name,"",-1)
}