cho.sh

Pepero Day 2017

Given a time on November 11, 2017, print the Pepero count from the reward rules based on the hour, minute, and second.

Easy2ImplementationInterviewNo attempts yetTime limit2sMemory limit512 MB

Problem

Pepero is handed out on Pepero Day, November 11, 2017. A submission judged correct that day between 14:00:00 and 23:59:59 Korea time earns 1 Pepero.

A better moment earns more. A submission judged correct between 23:11:00 and 23:11:59 that day earns 3 Pepero, and a submission judged correct at exactly 23:11:11 earns 5 Pepero. A single submission earns only the largest amount whose condition holds.

A submission judged correct before 14:00:00 earns no Pepero.

You are given the time at which one submission was judged correct. Compute how many Pepero that submission earns.

Input

The first line contains a Korea time on November 11, 2017 in the format HH:MM:SS. The clock is 24 hour, the value is between 00:00:00 and 23:59:59, and the hour, the minute and the second are each written with two digits.

Output

Print the number of Pepero earned on the first line. It is one of 0, 1, 3, 5.