<!--  hide script from old browse

// This script COMPUTES the Date of last modification

function LastModDate() {
lastmod = document.lastModified;
annee = lastmod.substr(6, lastmod.indexOf(" ")-6);
mois = lastmod.substr(0,2);
jour = lastmod.substr(3,2);
lastr = jour + ' ' + mois + ' ' + annee;
return lastr;
}

function password(url) {
var new_window = null;
new_window = window.open(url, 'new', 'width=640,height=500,scrollbars=yes,resizable=yes');
}

// This script Checks Passwords

function verif(){
     newlocation = document.pass.mdp.value + ".htm";
     window.location=newlocation;

}

// -->
