/* package whatever; // don't place package name! */
 
import java.util.*;
import java.lang.*;
import java.io.*;
 
import java.time.* ;
import java.time.format.* ;
import java.time.temporal.* ;
import java.time.chrono.* ;
 
 
/* 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
	{
 
	    int year = 2020 ;
	    long count = 
	            Arrays                            // Utility class, `java.util.Arrays`.
	            .stream(                          // Generate a stream from an array.
	                Month.values()                // Generate an array from all the objects defined on this enum `Month`: An object for January, and February, and so on.
	            )                                 // Returns a `Stream` object.
	            .filter(                          // Applies a `Predicate` to test each object produced by the stream. Those that pass the test are fed into a new second stream.
	                ( Month month ) ->            // For each `Month` enum object.
	                LocalDate                     // Represent a date-only value, a year-month-day.
	                .of( year, month, 13 )        // Instantiate a `LocalDate` from inputs for year number, `Month` enum object, and day number.
	                .getDayOfWeek()               // Interrogate for the `DayOfWeek` enum object that represents the day-of-week for that particular date.
	                .equals(DayOfWeek.FRIDAY)
	            )
	            .count()
	    ;
 
        System.out.println( "count: " + count ) ;
	}
}

LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgppbXBvcnQgamF2YS50aW1lLiogOwppbXBvcnQgamF2YS50aW1lLmZvcm1hdC4qIDsKaW1wb3J0IGphdmEudGltZS50ZW1wb3JhbC4qIDsKaW1wb3J0IGphdmEudGltZS5jaHJvbm8uKiA7CgoKLyogTmFtZSBvZiB0aGUgY2xhc3MgaGFzIHRvIGJlICJNYWluIiBvbmx5IGlmIHRoZSBjbGFzcyBpcyBwdWJsaWMuICovCmNsYXNzIElkZW9uZQp7CglwdWJsaWMgc3RhdGljIHZvaWQgbWFpbiAoU3RyaW5nW10gYXJncykgdGhyb3dzIGphdmEubGFuZy5FeGNlcHRpb24KCXsKCgkgICAgaW50IHllYXIgPSAyMDIwIDsKCSAgICBsb25nIGNvdW50ID0gCgkgICAgICAgICAgICBBcnJheXMgICAgICAgICAgICAgICAgICAgICAgICAgICAgLy8gVXRpbGl0eSBjbGFzcywgYGphdmEudXRpbC5BcnJheXNgLgoJICAgICAgICAgICAgLnN0cmVhbSggICAgICAgICAgICAgICAgICAgICAgICAgIC8vIEdlbmVyYXRlIGEgc3RyZWFtIGZyb20gYW4gYXJyYXkuCgkgICAgICAgICAgICAgICAgTW9udGgudmFsdWVzKCkgICAgICAgICAgICAgICAgLy8gR2VuZXJhdGUgYW4gYXJyYXkgZnJvbSBhbGwgdGhlIG9iamVjdHMgZGVmaW5lZCBvbiB0aGlzIGVudW0gYE1vbnRoYDogQW4gb2JqZWN0IGZvciBKYW51YXJ5LCBhbmQgRmVicnVhcnksIGFuZCBzbyBvbi4KCSAgICAgICAgICAgICkgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAvLyBSZXR1cm5zIGEgYFN0cmVhbWAgb2JqZWN0LgoJICAgICAgICAgICAgLmZpbHRlciggICAgICAgICAgICAgICAgICAgICAgICAgIC8vIEFwcGxpZXMgYSBgUHJlZGljYXRlYCB0byB0ZXN0IGVhY2ggb2JqZWN0IHByb2R1Y2VkIGJ5IHRoZSBzdHJlYW0uIFRob3NlIHRoYXQgcGFzcyB0aGUgdGVzdCBhcmUgZmVkIGludG8gYSBuZXcgc2Vjb25kIHN0cmVhbS4KCSAgICAgICAgICAgICAgICAoIE1vbnRoIG1vbnRoICkgLT4gICAgICAgICAgICAvLyBGb3IgZWFjaCBgTW9udGhgIGVudW0gb2JqZWN0LgoJICAgICAgICAgICAgICAgIExvY2FsRGF0ZSAgICAgICAgICAgICAgICAgICAgIC8vIFJlcHJlc2VudCBhIGRhdGUtb25seSB2YWx1ZSwgYSB5ZWFyLW1vbnRoLWRheS4KCSAgICAgICAgICAgICAgICAub2YoIHllYXIsIG1vbnRoLCAxMyApICAgICAgICAvLyBJbnN0YW50aWF0ZSBhIGBMb2NhbERhdGVgIGZyb20gaW5wdXRzIGZvciB5ZWFyIG51bWJlciwgYE1vbnRoYCBlbnVtIG9iamVjdCwgYW5kIGRheSBudW1iZXIuCgkgICAgICAgICAgICAgICAgLmdldERheU9mV2VlaygpICAgICAgICAgICAgICAgLy8gSW50ZXJyb2dhdGUgZm9yIHRoZSBgRGF5T2ZXZWVrYCBlbnVtIG9iamVjdCB0aGF0IHJlcHJlc2VudHMgdGhlIGRheS1vZi13ZWVrIGZvciB0aGF0IHBhcnRpY3VsYXIgZGF0ZS4KCSAgICAgICAgICAgICAgICAuZXF1YWxzKERheU9mV2Vlay5GUklEQVkpCgkgICAgICAgICAgICApCgkgICAgICAgICAgICAuY291bnQoKQoJICAgIDsKICAgIAogICAgICAgIFN5c3RlbS5vdXQucHJpbnRsbiggImNvdW50OiAiICsgY291bnQgKSA7Cgl9Cn0=