                  <!-- 
                         //
                         // format date as mmm-dd-yyyy
                         // example: Jan-12-1998
                         //
                         function date_mmmddyyyy(date)
                         {
                           var d = date.getDate();
                           var m = date.getMonth() + 1;
                           var y = date.getYear();

                           // 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 "" +
                             mmm + " " +
                             (d<10?"0"+d:d) + ", " +
                             (y<1000?1900+y:y);
                         }


                         //
                         // get last modified date of the 
                         // current document.
                         //
                         function date_lastmodified()
                         {
                           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_mmmddyyyy(new Date(d1));
                           }

                           return s;
                         }

                         //
                         // finally display the last modified date
                         // as MMM DD, YYYY
                         //
                         document.write( 
                           date_lastmodified() );

                         // -->