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