function show_date() {
        var today = new Date();
        var m = new Object();
        m[0] = "Jan"; m[1] = "Feb"; m[2] = "Mar"; m[3] = "Apr"; m[4] = "May"; m[5] = "Jun";
        m[6] = "Jul"; m[7] = "Aug"; m[8] = "Sep"; m[9] = "Oct"; m[10] = "Nov"; m[11] = "Dec";
         document.write(m[today.getMonth()]+" ");
        document.write(today.getDate()+", ");
        document.write(today.getYear()+1900);
}