function affiche_date()
	{var mois = new Array();
	mois[0]='Jan.';
	mois[1]='Feb.';
	mois[2]='March';
	mois[3]='April';
	mois[4]='May';
	mois[5]='June';
	mois[6]='July.';
	mois[7]='Aug.';
	mois[8]='Sept.';
	mois[9]='Oct.';
	mois[10]='Nov.';
	mois[11]='Dec.';

	var jour = new Array();
	jour[0]='Sun.,';
	jour[1]='Mon.,';
	jour[2]='Tue.,';
	jour[3]='Wed.,';
	jour[4]='Thu.,';
	jour[5]='Fri.,';
	jour[6]='Sat.,';
	
var my_date = new Date();
var year = my_date.getYear();
var month = my_date.getMonth();
var day = my_date.getDay();
var date = my_date.getDate();

if
	(navigator.appName=="Netscape")
	{year%=100;

if
	(year<10)
	document.write(jour[day] + " " + mois[month] + " " + date + " 200" + year);

else
	{document.write(jour[day] + " " + mois[month] + " " + date + " 20" + year);}}

else
	{document.write(jour[day] + " " + mois[month] + " " + date + " " + year);}}