#include<stdio.h>
#include<time.h>
main()
{
 char s[80];
 struct tm;
 time_t t;            
 
 t = time( NULL );               
 printf ("%s", asctime ( localtime( &t ) ));
 strftime ( s, sizeof s, "%A     %B %d, %Y     %I:%M%p\n", localtime( &t ) );
 printf ("%s", s);
}