// format date as dd-mmm-yy
// example: 12-Jan-99
//
function date_ddmmmyy(date)
{
  var d = date.getDate();
  var m = date.getMonth() + 1;
  var y = date.getYear();
// handle different year values 
// returned by IE and NS in 
// the year 2000.
  if(y >= 2000)
  {
   y -= 2000;
  }
   if(y >= 100)
  {
   y -= 100;
  }
// could use splitString() here 
// but the following method is 
// more compatible
  var mmm = 
    ( 1==m)?'Jan':( 2==m)?'Feb':(3==m)?'Mar':
    ( 4==m)?'Apr':( 5==m)?'May':(6==m)?'Jun':
    ( 7==m)?'Jul':( 8==m)?'Aug':(9==m)?'Sep':
    (10==m)?'Oct':(11==m)?'Nov':'Dec';

  return "" +
    (d<10?"0"+d:d) + "-" +
    mmm + "-" +
    (y<10?"0"+y:y);
}
//
// get last modified date of the 
// current document.
//
function lastMod()
{
  var lmd = document.lastModified;
  var s   = "Unknown";
  var d1;

  // check if we have a valid date
  // before proceeding
  if(0 != (d1=Date.parse(lmd)))
  {
    s = "" + date_ddmmmyy(new Date(d1));
  }
  return s;
}

function getDate() {
	var returnDate;
	var day, month, year;
	var myDate = new Date();

// Process week day
	var tmpDay = myDate.getDay();
	
	  if (tmpDay == 0)
	    day = "sunday" ;
	  else if  (tmpDay ==1)
	    day = "monday" ;
	  else if  (tmpDay ==2)
	    day = "tuesday" ;
	  else if  (tmpDay ==3)
	    day = "wednesday" ;
	  else if  (tmpDay ==4)
	    day = "thursday" ;
	  else if  (tmpDay ==5)
	    day = "friday" ;
	  else if  (tmpDay ==6)
	    day = "saturday" ;

// process date
    date = myDate.getDate();

// Process month
  var tmpMonth = myDate.getMonth();
     if (tmpMonth == 0) 
       month = "january" ;
     else if (tmpMonth == 1) 
       month = "feburary";
     else if (tmpMonth == 2) 
       month = "march";
     else if (tmpMonth == 3) 
       month = "april";
     else if (tmpMonth == 4) 
       month = "may";
     else if (tmpMonth == 5) 
       month = "june";
     else if (tmpMonth == 6) 
       month = "july";
     else if (tmpMonth == 7) 
       month = "august";
     else if (tmpMonth == 8) 
       month = "september";
     else if (tmpMonth == 9) 
       month = "october";
     else if (tmpMonth == 10) 
       month = "november";
     else if (tmpMonth == 11) 
       month = "december";

// process year
    year = myDate.getFullYear();

returnDate = day +" - " +  month + " " + date + " - " +  year;
  	
 return returnDate;
	}