//  CONTENTS *****************************************************
//  imageOver()  - image change on mouseover
//  imageOff()   - image change on mouseoff
//  LastUpdate() - displays the date and time the page was updated


// ***************************************************************
// IMAGE CHANGES ON MOUSE OVER ETC. ******************************
// ***************************************************************

var image_dir = "./images/nav/";

function imageOver(imageName) {
	document.images[imageName].src = image_dir + imageName + "_ov.gif";
}

function imageOff(imageName) {
	document.images[imageName].src = image_dir + imageName + ".gif";
}


// ***************************************************************
// LAST UPDATE ***************************************************
// ***************************************************************
function LastUpdate() {
	var last = document.lastModified;
	var date = new Date(last);
	var d  = date.getDate();
	var day = (d < 10) ? '0' + d : d;
	var m = date.getMonth() + 1;
	var month = (m < 10) ? '0' + m : m;
	var yy = date.getYear();
	var year = (yy < 1000) ? yy + 1900 : yy;
	var hour = date.getHours();
	var mins = date.getMinutes();
        if (mins<10)
        mins="0"+mins

	document.write("Document last updated: " + day + "/" + month + "/" + year + ", " + hour + ":" + mins);
}