/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
	public static void main (String[] args) throws java.lang.Exception
	{
		Date dt=new Date();
		String dateString = dt.toString();
		System.out.println(dateString.matches("[A-Z][a-z]{2}\\s[A-Z][a-z]{2}\\s[0-9]{2}\\s[0-9]{2}:[0-9]{2}:[0-9]{2}\\s[A-Z]{3}\\s[0-9]{4}"));
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCURhdGUgZHQ9bmV3IERhdGUoKTsKCQlTdHJpbmcgZGF0ZVN0cmluZyA9IGR0LnRvU3RyaW5nKCk7CgkJU3lzdGVtLm91dC5wcmludGxuKGRhdGVTdHJpbmcubWF0Y2hlcygiW0EtWl1bYS16XXsyfVxcc1tBLVpdW2Etel17Mn1cXHNbMC05XXsyfVxcc1swLTldezJ9OlswLTldezJ9OlswLTldezJ9XFxzW0EtWl17M31cXHNbMC05XXs0fSIpKTsKCX0KfQ==