다솜이는 타임머신을 타고 8364년으로 갔다. 다행히 지구는 평화롭다.</p>

다솜이는 2008년으로 돌아가기 전에 시계를 샀다. 다솜이는 시계를 볼 줄 모르기 때문에, 디지털 시계를 샀다. 디지털 시계는 HH:MM:SS와 같은 모양으로 시간을 나타내 준다. 그리고 앞에서부터 차례대로 HH는 시, MM은 분, SS는 초를 나타낸다.

다솜이는 8364년에는 2008년과 같은 방법으로 시간을 나타내는지 모른다. 2008년엔 시:분:초를 나타내는지만, 8364년엔 분:시:초로 나타낼지도 모른다.

다행히 시는 01부터 12, 분은 00부터 59, 초는 00부터 59를 나타낸다.

다솜이의 시계에 쓰여 있는 숫자가 주어졌을 때, 이 시간을 읽을 수 있는 가능한 방법의 수를 출력하는 프로그램을 작성하시오. 나타내는 시간이 같더라도, 시, 분, 초를 읽을 수 있는 위치가 다르면 다른 방법으로 센다. 또한, 방법의 수가 0일 수도 있다.

예를 들어, 21:23:01 은 21분 23초 01시 로 읽을 수도 있지만, 21초 23분 01시로 읽을 수도 있다.

입력 형식

첫째 줄에 시간이 주어진다. 시간은 DD:DD:DD와 같은 꼴로 주어진다. 항상 8자리(:도 포함)로만 들어오며, D는 0-9 사이의 숫자이다.

출력 형식

첫째 줄에 시간을 읽을 수 있는 가능한 방법의 수를 출력한다.

예제 입력 1

00:00:00

예제 출력 1

0

예제 입력 2

01:00:00

예제 출력 2

2

예제 입력 3

01:12:23

예제 출력 3

4

예제 입력 4

21:23:01

예제 출력 4

2

예제 입력 5

01:02:03

예제 출력 5

6

예제 입력 6

59:59:01

예제 출력 6

2

예제 입력 7

01:01:59

예제 출력 7

4