function shortMonthArray() {
	this[0] = "JAN";	this[1] = "FEB";	this[2] = "MAR";
	this[3] = "APR";	this[4] = "MAY";	this[5] = "JUN";
	this[6] = "JUL";	this[7] = "AUG";	this[8] = "SEP";
	this[9] = "OCT";	this[10] = "NOV";	this[11] = "DEC";
        return (this);
}

function writeDateLong(format)
{
   shortMonths = new shortMonthArray();
   d = new Date();
   day = d.getDate();
   month = d.getMonth();
	year = d.getYear();
   if (format == 0)
     str =  day + " " + shortMonths[month]+" 2003 //";
  else if (format == 1)
     str = day + " " + longMonths[month] + ", "+getLongYear(year);


  document.writeln(str);
}

function writeDate()
{
   writeDateLong(0);
}

function writeTimeLong(format)
{
   d = new Date();
   hour=d.getHours();
   min=d.getMinutes();
   sec=d.getSeconds();
   if (hour < 10) hour = "0"+hour;
   if (min < 10) min = "0"+min;
   if (sec < 10) sec = "0"+sec;

   if (format == 0)
      str =  hour+":"+min;
   else if (format == 1)
      str = hour+":"+min;

   document.writeln(str);
}

function writeTime()
{
   writeTimeLong(0);
}