document.write ("<hr><p align='right' class='normalfont'><font size='1'>Amsterdam Cohort Studies on HIV/Aids: last update (mm/dd/yyyy) ")
document.write (document.lastModified)
document.write ("</font></p>")