function showDate (format){
var current_date = new Date ( );

var month_names = new Array ( );

month_names[month_names.length] = "Jan ";
month_names[month_names.length] = "Feb ";
month_names[month_names.length] = "Mar ";
month_names[month_names.length] = "Apr ";
month_names[month_names.length] = "May ";
month_names[month_names.length] = "Jun ";
month_names[month_names.length] = "Jul ";
month_names[month_names.length] = "Aug ";
month_names[month_names.length] = "Sep ";
month_names[month_names.length] = "Oct ";
month_names[month_names.length] = "Nov ";
month_names[month_names.length] = "Dec ";

var day_names = new Array ( );
day_names[day_names.length] = "Sun";
day_names[day_names.length] = "Mon";
day_names[day_names.length] = "Tue";
day_names[day_names.length] = "Wed";
day_names[day_names.length] = "Thu";
day_names[day_names.length] = "Fri";
day_names[day_names.length] = "Sat";

switch (format) {
	case "dd":document.write ( current_date.getDate() ); break;
    case "mm":document.write ( month_names[current_date.getMonth()] ); break;
break;
    default:      document.write(month + "/" + day + "/" + year);      break;
}
}