document.write("</td>");
document.write("</tr>");
document.write("<tr>");
document.write("<td>");
document.write("<img src=\"../../images/behindpages/footer_website_purple.jpg\" alt=\"Bottom of Page\" width=\"680\" height=\"10\" />");
document.write("<br /><font size=\"-1\">");
document.write("&copy; 2009 <a href=\"http://www.winona.edu/library/index.html\">Darrell W. Krueger Library</a>.");
document.write("&nbsp;<a href=\"http://www.winona.edu/\">Winona State University</a>.  Winona, MN 55987, (507) 457-5140");

document.write("<br />");

//
// format date as Month D, YYYY
// example: June 16, 2001
//
function date_ddmmmyy(date)
{
var d = date.getDate();
var m = date.getMonth() + 1;
var y = date.getYear();

// handle different year values 
// returned by IE and NS in 
// the year 2000.

if(y <= 1900)
{
y += 1900;
}

// could use splitString() here 
// but the following method is 
// more compatible
var mmm = 
( 1==m)?'January':( 2==m)?'February':(3==m)?'March':
( 4==m)?'April':( 5==m)?'May':(6==m)?'June':
( 7==m)?'July':( 8==m)?'August':(9==m)?'September':
(10==m)?'October':(11==m)?'November':'December';

return "" + mmm + " " + d + ", " + y;
}


//
// get last modified date of the 
// current document.
//
function date_lastmodified()
{
var lmd = document.lastModified;
var s = "Unknown";
var d1;

// check if we have a valid date
// before proceeding
if(0 != (d1=Date.parse(lmd)))
{
s = "" + date_ddmmmyy(new Date(d1));
}

return s;
}

//
// finally display the last modified date
//

document.write("Last update: " + date_lastmodified() );

document.write("</font></td>");
document.write("</tr>");
document.write("</table>");
document.write("<p>");