var pcol=Number(16777215).toString(16);

var fontface = 4;
var fontsize = "3";
if (fontface==0) fontface = 'Arial, Helvetica, sans-serif';
  else if (fontface==1) fontface = 'Times New Roman, serif';
  else if (fontface==2) fontface = 'Courier New, Courier, mono';
  else if (fontface==3) fontface = 'Georgia, Times New Roman, Times, serif';
  else fontface = 'Verdana, Arial, Helvetica, sans-serif';

var t=0;
t = pcol.length;
for (var i=0; i<6-t; i++) pcol = '0'+pcol;

var now=new Date();
document.write('<font face="'+fontface+'" size="'+fontsize+'" color=#'+pcol+'> '+"SunMonTueWedThuFriSat".substr(now.getDay()*3,3)+', '+"JanFebMarAprMayJunJulAugSepOctNovDec".substr(now.getMonth()*3,3)+' '+now.getDate()+', '+now.getFullYear()+'</font>');



//DO NOT MODIFY
/*
<APPLETINFO>
appletname=jsdatestamp
applettype=JAVASCRIPT
created=1182910342593
appletfilename=WRAHRdatestamp.js
</APPLETINFO>
<JAVASCRIPT>
fontsize=3
dtprompt=
fontface=4
pcol=16777215
</JAVASCRIPT>
<HTMLGENERATOR>
null</HTMLGENERATOR>
*/