import java.time.LocalDate;
import java.time.format.DateTimeFormatter;
import java.util.Locale;

public class Main {
	public static void main(String[] args) {
		String input = "Friday, February 1, 2013";
		DateTimeFormatter dtf = DateTimeFormatter.ofPattern("EEEE, MMMM d, u", Locale.ENGLISH);
		LocalDate date = LocalDate.parse(input, dtf);
		System.out.println(date);
	}
}