/* date.js display day name, month name, ##, #### */
inc_date_js =
'<SCRIPT LANGUAGE="JavaScript">\n<!-- Begin\nvar now = ne'
+ 'w Date();\nvar days = new Array(\'Sunday\',\'Monday\',\'Tuesd'
+ 'ay\',\'Wednesday\',\'Thursday\',\'Friday\',\'Saturday\');\nvar mo'
+ 'nths = new Array(\'January\',\'February\',\'March\',\'April\',\'M'
+ 'ay\',\'June\',\'July\',\'August\',\'September\',\'October\',\'Novemb'
+ 'er\',\'December\');\nvar date = ((now.getDate()<10) ? "0" :'
+ ' "")+ now.getDate();\nfunction fourdigits(number) {\nret'
+ 'urn (number < 1000) ? number + 1900 : number;\n}\ntoday '
+ '= days[now.getDay()] + ", " +\nmonths[now.getMonth()] + '
+ '" " +\ndate + ", " +\n(fourdigits(now.getYear())) ;\ndoc'
+ 'ument.write(today);\n// End -->\n</script>';

// end_var_declaration
document.write(inc_date_js);
//  End -->