date_du_jour = new Date();
heure_gmt = date_du_jour.toGMTString();
document.write('<font size=1 color=#9f9f9f><b>');
document.write(heure_gmt);
document.write('</b></font>')