<!-- 
function date_ddmmmyy(date)
{
var d = date.getDate();
var m = date.getMonth() + 1;
var y = date.getYear();
if(y >= 2000)
{
y -= 2000;
}
if(y >= 100)
{
y -= 100;
}
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 "" +
(d<10?"0"+d:d) + " " +
mmm + " " +
(y<10?"200"+y:y);
}
function date_lastmodified()
{
var lmd = document.lastModified;
var s = "Unknown";
var d1;
if(0 != (d1=Date.parse(lmd)))
{
s = "" + date_ddmmmyy(new Date(d1));
}
return s;
}
document.write( date_lastmodified() );
// -->