dateModified=new Date(document.lastModified)
dayModified=dateModified.getDate()
monthModified=dateModified.getMonth()+1
yearModified=dateModified.getYear()
if (yearModified < 1000) yearModified=yearModified+1900

dayString = "" + dayModified
if (dayModified < 10)
  dayString = "0" + dayString

monthString = "" + monthModified
if (monthModified < 10)
  monthString = "0" + monthString

document.writeln('<TABLE border=0 CELLSPACING=0 CELLPADDING=0 bgcolor=#FFFFFF width=100% align=center><TR>')
document.writeln('<TD align=left>')
document.writeln('<font COLOR=#3F4D68 size=-1>')
document.write('Last modified: '+dayString+'.'+monthString+'.'+yearModified)
document.writeln('</font>')
document.write('</TD><TD align=right>')
document.writeln('<font COLOR=#3F4D68 size=-1>')
document.write('<a href="../english/copyright.html" span class="bottom_c" title="Legal information">©</a> <a href="../english/about.html" span class="bottom" title="About the authors">Joint authors</a>, 1999-2005</font>')
document.writeln('</TD></TR></TABLE>')