<!--
make_timestamp = true;

function GetCookie(name) {
 var result = null;
 var myCookie = " " + document.cookie + ";"
 var searchName = " " + name + "="
 var startOfCookie = myCookie.indexOf(searchName)
 var endOfCookie
 if (startOfCookie != -1) {
  startOfCookie += searchName.length; // skip past name of cookie
  endOfCookie = myCookie.indexOf(";", startOfCookie)
  result = unescape(myCookie.substring(startOfCookie, endOfCookie))
 }
 return result;
}     

function SetCookie(n1, v1, n2, v2) {
var expString = "; expires=" + never.toGMTString()
 document.cookie = n1 + "=" + escape(v1) + "; " + n2 + "=" + escape(v2) + expString
}

function warnMessage() {
 if (confirm(failure_message))
  location.href += ""
}

var never = new Date();
never.setTime(never.getTime() + 2000*24*60*60*1000)

if (make_timestamp) {
 today = new Date();
 timestamp = " ("+today.toLocaleString()+")"
} else {
 timestamp = ""
}

var defaultString = ""
var resetString = "reset"
var clearString = ""

//-->