var path = "http://libraries.ucsd.edu/images/";
var on = "_on.gif";
var off = "_off.gif";

function over (name) {
	document.images[name].src = path + name + on;
}
function out (name) {
	document.images[name].src = path + name + off;
}

function printModTime(){
	document.write("Last Modified: ");
	lastmod = new Date( Date.parse( document.lastModified  ) );
	document.write((lastmod.getMonth()+1) + "/" + lastmod.getDate() + "/");
	if ( lastmod.getYear() > 2000 ) { 
		document.write( lastmod.getYear() ); 
	} else { 
		document.write( (lastmod.getYear() + 1900) ); 
	}
	document.write("<br>");

}