function display_date() {
   date = new Date();
   var day_of_week_number = date.getDay();
   var day_of_month = date.getDate();
   var month_number = date.getMonth();
   
   	year = date.getYear();
	if (year < 2000) 
	{ year = year + 1900}
   
   var month = ''

 if(month_number == 0){month = 'janvier';}



   if(month_number == 1){month = 'février';}



   if(month_number == 2){month = 'mars';}



   if(month_number == 3){month = 'avril';}



   if(month_number == 4){month = 'mai';} 



   if(month_number == 5){month = 'juin';}



   if(month_number == 6){month = 'juillet';}



   if(month_number == 7){month = 'août';}



   if(month_number == 8){month = 'septembre';}



   if(month_number == 9){month = 'octobre';}



   if(month_number == 10){month = 'novembre';}



   if(month_number == 11){month ='décembre';}
   
   //var date_to_show = '-' + ' ' +day_of_month + ' ' + month  + ' ' + year + '&nbsp;&nbsp;&nbsp;' ; 
   var date_to_show = ' ' +day_of_month + ' ' + month  + ' ' + year + '&nbsp;&nbsp;&nbsp;' ; 
   
   document.write(date_to_show);
}




 function getNameFile()
{
var fichier="";
var pathname = window.location.pathname;
var iPos = window.location.pathname.toString().toLowerCase().lastIndexOf('.nsf');
if(iPos>0) return pathname.substring(0, iPos+4);

var indice=pathname.toString().toLowerCase().lastIndexOf('/');

fichier = "../../en/ssie/"+pathname.substr(indice+1);
return fichier; 

}