Personal code

These days most countries assign each of the citizens a unique identifier, which we shall call personal code.

In Lithuania, personal code consists of eleven digits, and is assigned according to these rules:

Your task is to validate a personal code. Provided on the input file is eleven-digit code. You shall print to the output file OK if a living person could have given code, or FAIL otherwise. For this task, you can assume that humans live forever. An example is presented below.

Input Output Comment
38703181745 OK Valid code.
38703181746 FAIL Invalid checksum.
78703181745 FAIL Birth year would be 2100 + 87 = 2187. That is future.
38703421745 FAIL March has less than 42 days.