var n_Date = new Date( document.lastModified );
var dayName_de = new Array("So","Mo","Di","Mi","Do","Fr","Sa");
var dayName_en = new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat");
var dayName_es = new Array("Dom","Lun","Mar","Mie","Jue","Vie","Sab");

function do_date()
{
document.write(" ");
document.write( n_Date.getDate() );
document.write("/");
document.write((n_Date.getMonth()+1) );
document.write("/");
document.write( n_Date.getFullYear() );
}

function short_date_de( string )
{
if( !string ) document.write("Aktualisiert am<br/>");
document.write(dayName_de[ n_Date.getDay() ]);
do_date();
}

function short_date_en( string )
{
if( !string ) document.write("Last updated<br/>");
document.write(dayName_en[ n_Date.getDay() ]);
do_date();
}

function short_date_es( string )
{
if( !string ) document.write("Actualizado el<br/>");
document.write(dayName_es[ n_Date.getDay() ]);
do_date();
}