#include <stdio.h>

int main() {
  char pYear[16], pMonth[16], pDay[16], pDate[64];
  printf("%d\n", sscanf("Nov 19 2012", "%s%s%s", pMonth, pDay, pYear));
  printf("day %s, month %s, year %s \n", pDay, pMonth, pYear);
  return (0);
}