===INPUT=== 6 0 10 3 7 6 14 9 11 12 15 17 19 ===OUTPUT=== 4 ===END===