function fnRoll(imgName,strSrc) {
	if (document.images) document[imgName].src = strSrc;
}

function MM_preloadImages() { //v3.0
	var d=document;
	if (d.images) {
		if (!d.MM_p) d.MM_p=new Array();
		var i,j=d.MM_p.length,a=MM_preloadImages.arguments;
		for (i=0; i<a.length; i++) if (a[i].indexOf("#")!=0) {
			d.MM_p[j]=new Image;
			d.MM_p[j++].src=a[i];
		}
	}
}

function DocDate() { //return the document modification date (excl.time) as a string
	DateTimeStr = document.lastModified;
	secOffset = Date.parse(DateTimeStr);
	if (secOffset == 0 || secOffset == null) dateStr = "Unknown"; //Opera3.2
	else {
		aDate = new Date();
		aDate.setTime(secOffset);
		//use method defined above
		datestr = aDate.getLongDateString();
	}
	return dateStr;
}

function getLongDateString() {	//method defined on class Date.
	//Returns a date string of the form: Day DD Month,YYYY
	//(e.g. Sunday 27 September, 1998)
	monthNames = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
	dayNames = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
	dayOfWeek = this.getDay();
	day = dayNames[dayOfWeek];
	dateOfMonth = this.getDate();
	monthNo = this.getMonth();
	month = monthNames[monthNo];
	year = this.getYear();
	if (year < 2000)
	year = year + 1900;
	dateStr = day+" "+dateOfMonth+" "+month+", "+year;
	return dateStr;
}

//register the method in the class Date
Date.prototype.getLongDateString=getLongDateString;

window.onload = function() {
	MM_preloadImages(
		'nav/nav_b1_over.gif',
		'nav/nav_b2_over.gif',
		'nav/nav_b3_over.gif',
		'nav/nav_b4_over.gif',
		'nav/nav_b5_over.gif',
		'nav/nav_b6_over.gif',
		'nav/nav_b7_over.gif',
		'images/word_over.gif'
	);
};