/****************
This is the header javascript file using JavaScript 1.2
it has the various js functions in it and the topline
******/
// prints the last date the file was modified
//function lastDateModified(){
var a;
a=new Date(document.lastModified);
var lm_year=a.getYear();lm_year=((lm_year<1000)?((lm_year<70)?2000:1900):0)+lm_year;
var lm_month=a.getMonth()+1;lm_month=((lm_month<10)?'0':'')+lm_month;
var lm_day=a.getDate();lm_day=((lm_day<10)?'0':'')+lm_day;
document.write("")
//document.write("")
//document.write("");
document.write("");
document.write("
");
document.write("