function doStuff()
{
	nonIEFix();
	printLastModified();
}


function nonIEFix()
{
	var agent=navigator.userAgent.toLowerCase();
	if ((agent.indexOf('msie ')!=-1) && ((agent.indexOf('opera')==-1)||(agent.indexOf('gecko')==-1)||(agent.indexOf('khtml')==-1)))
		return;		//return if MSIE, don't return if spoofing MSIE
	if (! document.getElementById)
		return;		//can't get elements

	var filletT=document.getElementById("navTabFilletTR");
	if (filletT)
		filletT.style.verticalAlign = "top";
	var filletB=document.getElementById("navTabFilletBR");
	if (filletB)
		filletB.style.verticalAlign = "top";
}



function printLastModified()
{
	if (! document.getElementById)
		return;
	var output=document.getElementById("lastModified");
	if (output)
		output.innerHTML=lastMod();
}

function lastMod()
{
	var x = new Date (document.lastModified);
	Modif = new Date(x.toGMTString());
	Year = takeYear(Modif);
	Month = monthToString(Modif.getMonth());
	Day = Modif.getDate();
	Weekday = weekdayToString(Modif.getDay());
	return( 'Page last modified on ' + Weekday + ', ' + Month + ' ' + Day + ', ' + Year + '.' );
}

function takeYear(theDate)
{
	x = theDate.getYear();
	var y = x % 100;
	y += (y < 38) ? 2000 : 1900;
	return y;
}

function monthToString(intMonth)
{
	if ((intMonth > 11) || (intMonth < 0))
		return;    //check sanity. Zero indexed array!
	var months=Array('January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December');
	return months[intMonth];
}

function weekdayToString(intDay)
{
	if ((intDay > 6) || (intDay < 0))
		return;    //check sanity. Zero indexed array!
	var weekdays=Array('Sunday', 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday', 'Saturday');
	return weekdays[intDay];
}