function getFullYear(d){//d is a date object
yr=d.getYear();if(yr<1000)
yr+=1900;return yr;}

document.write("<span style= 'font-size:10pt;color:#444444'>"
+getFullYear(today)+"Äê"+isnMonths[today.getMonth()]+""
+today.getDate()+"ÈÕ "+isnDays[today.getDay()]+"</span>");