Desde que va llegir sobre el matemàtic Ramanujan, busca el nombre 1729 per tot arreu: a les matrícules dels cotxes, als números de telèfon, a les tarjetes bancàries, ...

Especialment a les tarjetes busca que sigui un dels grups de nombres de 4 xifres.

Input Format

La entrada consisteix en un nombre de tarjeta bancària.

Constraints

-

Output Format

true si el 1729 es un dels grups de 4 xifres

false si no ho és

Test Case 1

Input

1111222233334444

Output

false

Test Case 2

Input

1111222233331729

Output

true

Test Case 3

Input

1111222217294444

Output

true

Test Case 4

Input

1111172933334444

Output

true

Test Case 5

Input

1729222233334444

Output

true

Test Case 6

Input

1117292233334444

Output

false

Test Case 7

Input

1111221729334444

Output

false

Test Case 8

Input

1111222233317294

Output

false

Test Case 9

Input

0

Output

false

Test Case 10

Input

0000000017290000

Output

true

Test Case 11

Hidden: this is a private test case!

Test Case 12

Hidden: this is a private test case!