<!--
// JDH Sept 22, 2002
// Cookie handling functions
/*  copy/past alert styles
	alert("You have not entered any comments!");
	val = confirm("wanna quit?");  returns OK Cancel
	val = prompt("how many?",2);  returns entered number
	message()
*/

var exp = new Date();                                   
exp.setTime(exp.getTime() + (1000 * 60 * 60 * 24 * 31));


// get a cookie
function getCookie(name){
var cname = name + "=";               
var dc = document.cookie;             
    if (dc.length > 0) {              
    begin = dc.indexOf(cname);       
        if (begin != -1) {           
        begin += cname.length;       
        end = dc.indexOf(";", begin);
            if (end == -1) end = dc.length;
            return unescape(dc.substring(begin, end));
        } 
    }
return null;
}

// Use this function to save a cookie.
function setCookie(name, value, expires) 
{
document.cookie = name + "=" + escape(value) + "; path=/" +
((expires == null) ? "" : "; expires=" + expires.toGMTString());
}

// Use this function to delete a cookie.
function delCookie(name) {
document.cookie = name + "=; expires=Thu, 01-Jan-70 00:00:01 GMT" +  "; path=/";
}

// Function to retrieve form element's value.
function getValue(element) {
var value = getCookie(element.name);
    if (value != null) element.value = value;
}

// Function to save form element's value.
function setValue(element) 
{
	var expire = "";					// this is good for 15 days
	expire = new Date((new Date()).getTime() + 360 /*hours*/ * 3600000);
	setCookie(element.name, element.value, expire);
}




-->