/*	$Id: cookie.js,v 1.1.6.1 2009/06/24 08:25:21 csa Exp $

*/


function setCookie(name, value, ttl, path) {
	var now = new Date()
	var expire = new Date()
	expire.setTime(now.getTime() + ttl*1000)
	document.cookie = name + "=" + escape(value) + ((expire == null) ? "" : ("; expires=" + expire.toGMTString())) + ";path="+path
	//alert(name + "=" + escape(value) + ((expire == null) ? "" : ("; expires=" + expire.toGMTString())))
}


function getCookie(Name) {
	var search = Name + "="
	if (document.cookie.length > 0) { // if there are any cookies
		var offset = document.cookie.indexOf(search) 
		if (offset != -1) { // if cookie exists 
			offset += search.length 
			// set index of beginning of value
			var end = document.cookie.indexOf(";", offset) 
			// set index of end of cookie value
			if (end == -1) 
				end = document.cookie.length
			return unescape(document.cookie.substring(offset, end))
		} 
	}
}