// NavBar and Time scripts

if (document.images) {
Button1MouseOff = new Image(); Button1MouseOff.src = "../navbar4e/Button1.gif"
Button1MouseOver = new Image(); Button1MouseOver.src = "../navbar4e/Button1MouseOver.gif"
Button1MouseDown = new Image(); Button1MouseDown.src = "../navbar4e/Button1MouseDown.gif"
Button2MouseOff = new Image(); Button2MouseOff.src = "../navbar4e/Button2.gif"
Button2MouseOver = new Image(); Button2MouseOver.src = "../navbar4e/Button2MouseOver.gif"
Button2MouseDown = new Image(); Button2MouseDown.src = "../navbar4e/Button2MouseDown.gif"
Button3MouseOff = new Image(); Button3MouseOff.src = "../navbar4e/Button3.gif"
Button3MouseOver = new Image(); Button3MouseOver.src = "../navbar4e/Button3MouseOver.gif"
Button3MouseDown = new Image(); Button3MouseDown.src = "../navbar4e/Button3MouseDown.gif"
Button4MouseOff = new Image(); Button4MouseOff.src = "../navbar4e/Button4.gif"
Button4MouseOver = new Image(); Button4MouseOver.src = "../navbar4e/Button4MouseOver.gif"
Button4MouseDown = new Image(); Button4MouseDown.src = "../navbar4e/Button4MouseDown.gif"
Button5MouseOff = new Image(); Button5MouseOff.src = "../navbar4e/Button5.gif"
Button5MouseOver = new Image(); Button5MouseOver.src = "../navbar4e/Button5MouseOver.gif"
Button5MouseDown = new Image(); Button5MouseDown.src = "../navbar4e/Button5MouseDown.gif"
Button6MouseOff = new Image(); Button6MouseOff.src = "../navbar4e/Button6.gif"
Button6MouseOver = new Image(); Button6MouseOver.src = "../navbar4e/Button6MouseOver.gif"
Button6MouseDown = new Image(); Button6MouseDown.src = "../navbar4e/Button6MouseDown.gif"
Button7MouseOff = new Image(); Button7MouseOff.src = "../navbar4e/Button7.gif"
Button7MouseOver = new Image(); Button7MouseOver.src = "../navbar4e/Button7MouseOver.gif"
Button7MouseDown = new Image(); Button7MouseDown.src = "../navbar4e/Button7MouseDown.gif"
Button8MouseOff = new Image(); Button8MouseOff.src = "../navbar4e/Button8.gif"
Button8MouseOver = new Image(); Button8MouseOver.src = "../navbar4e/Button8MouseOver.gif"
Button8MouseDown = new Image(); Button8MouseDown.src = "../navbar4e/Button8MouseDown.gif"
}

function turnMouseOff(ImageName) {
	if (document.images != null) {
		document[ImageName].src = eval(ImageName + "MouseOff.src");
	}
}

function turnMouseOver(ImageName) {
	if (document.images != null) {
		document[ImageName].src = eval(ImageName + "MouseOver.src");
	}
}

function turnMouseDown(ImageName) {
	if (document.images != null) {
		document[ImageName].src = eval(ImageName + "MouseDown.src");
	}
}

// End of dummy comment


/*********************************************************************/
// Day script start

var this_weekday_name_array = new Array("SUN","MON","TUE","WED","THU","FRI","SAT")	//predefine weekday names
var this_month_name_array = new Array("January","February","March","April","May","June","July","August","September","October","November","December")	//predefine month names

var this_date_timestamp=new Date()	//get current day-time stamp

var this_weekday = this_date_timestamp.getDay()	//extract weekday
var this_date = this_date_timestamp.getDate()	//extract day of month
var this_month = this_date_timestamp.getMonth()	//extract month
var this_year = this_date_timestamp.getYear()	//extract year

if (this_year < 1000)
	this_year+= 1900;	//fix Y2K problem
if (this_year==101)
	this_year=2001;		//fix Netscape browsers - it displays the year as being the year 101!

var this_date_string = this_weekday_name_array[this_weekday] 
// -->