function lastModified(){
            da = new Date(document.lastModified)
            document.write("Last Modified: " +
            da.toLocaleString() +
            " by Marty J. Wolf (mjwolf -AT- bemidjistate -DOT- edu)" )
}