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

var fontface = 0;
var fontsize = "4";
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=1144965609813
appletfilename=jsdatestamp1-VETPMR.js
</APPLETINFO>
<JAVASCRIPT>
fontsize=4
dtprompt=
fontface=1
pcol=16711680
</JAVASCRIPT>
<HTMLGENERATOR>
null</HTMLGENERATOR>
*/