l = gets.to_i
list = []
status = []
no = 1
gets.chomp.split.map(&:to_i).each{|cat|
    ng = false
    if cat > 0
        ng = true if status[cat]
        status[cat] = true
        list.push cat
    else
        cat = -cat
        ng = true if !status[cat]
        status[cat] = false
        ng = true if cat != list.pop
    end
    break if ng
    no += 1
}
puts (no > l ? "OK" : no)
