function tester() {
document.write("hello world<br>");
}

// function function ***** ***** ***** ***** ***** ***** ***** ***** ***** 
image= new Image(190,40)
function imageSwap(imgDocID,imgTxt) {
	image.src = imgTxt;
	document.images[imgDocID].src = image.src; return true;
}

// display file date ***** ***** ***** ***** ***** ***** ***** ***** ***** 
function dayofWeek(day)
{
  switch( day )
  {
    case 0: s = "Sunday"; break;
    case 1: s = "Monday"; break;
    case 2: s = "Tuesday"; break;
    case 3: s = "Wednesday"; break;
    case 4: s = "Thursday"; break;
    case 5: s = "Friday"; break;
    case 6: s = "Saturday"; break;
    default: s = "Unknownday"
  }
  return s;
}

function monthofYear(mon)
{
  switch( mon )
  {
    case 0: s = "January"; break;
    case 1: s = "February"; break;
    case 2: s = "March"; break;
    case 3: s = "April"; break;
    case 4: s = "May"; break;
    case 5: s = "June"; break;
    case 6: s = "July"; break;
    case 7: s = "August"; break;
    case 8: s = "September"; break;
    case 9: s = "October"; break;
    case 10: s = "November"; break;
    case 11: s = "December"; break;
    default: s = "Unknownmonth"
  }
  return s;
}

function displayDateMod()
{
  lastmod = document.lastModified     // get string of last modified date
  lastmoddate = Date.parse(lastmod)   // convert modified string to date
  if(lastmoddate == 0)                // unknown date (or January 1, 1970 GMT)
  {
    document.writeln("Last Modified: Unknown");
  }
  else
  {
    d = new Date(lastmod);
    day=dayofWeek(d.getDay());
    mon=monthofYear(d.getMonth());
    dte=d.getDate();
    year=d.getYear();
//    document.write("Day=", day, ", ");
//    document.write("Month=", mon, ", ");
//    document.write("Date=", dte, ", ");
//    document.write("Year=", year, "<br>");
    document.write("Last Modified: ", day + ", " + mon + " " + dte + ", " + year);
  }
}

// set date and time ***** ***** ***** ***** ***** ***** ***** ***** ***** 
function setDayDateTime()
{
var today = new Date();
var tDay = today.getDay();
var pDay = "";
switch(tDay)
{
	case 0:
	pDay = "Sunday";
	break;
	case 1:
	pDay = "Monday";
	break;
	case 2:
	pDay = "Tuesday";
	break;
	case 3:
	pDay = "Wednesday";
	break;
	case 4:
	pDay = "Thursday";
	break;
	case 5:
	pDay = "Friday";
	break;
	case 6:
	pDay = "Saturday";
	break;
}
	document.myForm.date.value = pDay;
	var thisDate = today.getDate();
	var thisMonth = today.getMonth() + 1;
	var thisYear = today.getFullYear();
	var thisDayOfWeek = today.getDay();
	var pDate = thisMonth + "/" + thisDate + "/" + thisYear;
	var thisHour = today.getHours();
	var thisMinute = today.getMinutes();
	var thisSecond = today.getSeconds();
	var pTime = " " + ((thisHour > 13) ? thisHour - 12 : thisHour);
	pTime += " " + ((thisMinute < 10) ? ":0" : ":") + thisMinute;
	pTime += " " + ((thisSecond < 10) ? ":0" : ":") + thisSecond;
	pTime += (pTime >= 12) ? "AM" : "PM";
	document.myForm.date.value = pDay + "  --  " + pDate + "  --  " + pTime;
	setTimeout("setDayDateTime()",1000);
}

// function function ***** ***** ***** ***** ***** ***** ***** ***** ***** 
