<!-- Last Modified function -->
    
function lastModified(lastMod){
    da = new Date(lastMod) // Create a Date Object set to the last modifed date 
    dy = da.getFullYear() // Get full year (as opposed to last two digits only) 
    dm = da.getMonth() + 1 // Get month and correct it (getMonth() returns 0 to 11) 
    dd = da.getDate() // Get date within month 
    th = da.getHours();
    tm = da.getMinutes();

    if ( dy < 1970 ) dy = dy + 100; // We still have to fix the millenium bug 
        ys = new String(dy) // Convert year, month and date to strings 
        ms = new String(dm)   
        ds = new String(dd)   
    if ( ms.length == 1 ) ms = "0" + ms; // Add leading zeros to month and date if required 
    if ( ds.length == 1 ) ds = "0" + ds;   
    ys = ys + "." + ms + "." + ds // Combine year, month and date in ISO format
    if ( tm.length == 1 ) tm = "0" + tm;
    ts = th + ":" + tm;
    var stamp = ys + " " + ts;
    return stamp;
}

function getCopyrightYear() {
	//alert("getCopyrightYear()");
	d = new Date()
	y = d.getFullYear()
	if ( y < 1970 ) y = y + 100;
	//alert("y = " + y);
	return y;
}