// JavaScript Document
// Sets cookie values. Expiration date is optional//
function setCookie(name, value, expire) 
{   
document.cookie = name + "=" + escape(value)   + ((expire == null) ? "" : ("; expires=" + expire.toGMTString()))
}



function getCookie(Name, defVal) 
{   
	var search = Name + "="   
	if (document.cookie.length > 0) 
	{ // if there are any cookies      
		offset = document.cookie.indexOf(search)       
		if (offset != -1) 
		{ // if cookie exists          
			offset += search.length          // set index of beginning of value         
			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))      
		}    
	}
	return defVal;
}