function lastModifacation(){
document.write ("<p>Last modification : ", document.lastModified ,"</p>");}