Каков шаблон?
Как известно, арифметические выражения можно записывать в так называемой бесскобочной форме. При этом, если операция записывается после операндов, то мы имеем постфиксную запись, а если перед операндами, то мы имеем префиксную запись. Например, выражение a-b*c в первом случае будет иметь вид abc*- , а во втором случае вид -a*bc.
Под шаблоном бесскобочной формы арифметического выражения будем понимать строку, составленную из цифр 0, 1, 2 и 3. Где 0 будет означать операнд, а остальные цифры — операции. Величина цифры определяет количество операндов, необходимое для выполнения соответствующей операциии.
По заданной последовательности, составленной только из циифр 0, 1, 2 и 3, определить, является ли она правильным шаблоном постфиксной записи. Если да, то выдать текст OK, иначе дать текст ERROR IN K, где под K имеется в виду первый символ шаблона, после которого он не может стать корректным. Члены последовательности нумеруются слева направо начиная с нуля. Если в последовательности нет ошибочного члена, но она не является правильным шаблоном, номером требуемой позиции (значением K) будем считать номер, который имел бы символ непосредственно приписанный в конец шаблона — раз его там нет.
Входные данные
В единственной строке входного файла — исходная последователььность. Шаблон задается строкой, состоящей из символов '0', '1', '2', '3', записанных подряд. Длина строки не превосходит 101000.
Выходные данные
В единственной строке – ответ задачи.