/* package whatever; // don't place package name! */
import java.util.*;
import java.lang.*;
import java.io.*;
/* Name of the class has to be "Main" only if the class is public. */
class Ideone
{
{
String[] s
=br.
readLine().
split(" ");
// String[] s=br.readLine().split(" ");
// int n=Integer.parseInt(s[0]);
// int p=Integer.parseInt(s[1]);
// //long ts=Long.parseLong(br.readLine());
//String[] s=br.readLine().split(" ");
// char[] ch1=s1.toCharArray();
// char[] ch2=s2.toCharArray();
// ArrayList<Integer> ar=new ArrayList<Integer>();
// ArrayList<Integer> ak=new ArrayList<Integer>();
// int idk=0;
ArrayList<Integer> ar=new ArrayList<Integer>();
// int[][] arr=new int[n][n];
int k=2;
for(int i=0;i<s.length;i++){
}
int total=0;
int min=1000000;
int i=0;
while(i<ar.size()-k){
int check=0;
if(ar.get(i)!=0){
int temp=i+k;
int j=i;
while(j<ar.size() && temp<ar.size() && j<temp){
if(ar.get(j)==0){
temp++;j++;
}else{
check++;
min
=Math.
min(ar.
get(j
),min
); j++;
}
}
j=i;
temp=i+k;
// if(check!=k){
// break;
// }
total+=min;
// System.out.println(total);
while(j<ar.size() && temp<ar.size() && j<temp){
if(ar.get(j)==0){
temp++;j++;
}else{
ar.set(j,ar.get(j)-min);
j++;
}
}
}else{
i++;
}
}
}
}
LyogcGFja2FnZSB3aGF0ZXZlcjsgLy8gZG9uJ3QgcGxhY2UgcGFja2FnZSBuYW1lISAqLwoKaW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS5sYW5nLio7CmltcG9ydCBqYXZhLmlvLio7CgovKiBOYW1lIG9mIHRoZSBjbGFzcyBoYXMgdG8gYmUgIk1haW4iIG9ubHkgaWYgdGhlIGNsYXNzIGlzIHB1YmxpYy4gKi8KY2xhc3MgSWRlb25lCnsKCXB1YmxpYyBzdGF0aWMgdm9pZCBtYWluIChTdHJpbmdbXSBhcmdzKSB0aHJvd3MgamF2YS5sYW5nLkV4Y2VwdGlvbgoJewoJCQoJCUJ1ZmZlcmVkUmVhZGVyIGJyPW5ldyBCdWZmZXJlZFJlYWRlcihuZXcgSW5wdXRTdHJlYW1SZWFkZXIoU3lzdGVtLmluKSk7CgkJCgkJU3RyaW5nW10gcz1ici5yZWFkTGluZSgpLnNwbGl0KCIgIik7CgogCiAKCQkgLy8gICBTdHJpbmdbXSBzPWJyLnJlYWRMaW5lKCkuc3BsaXQoIiAiKTsgCgkJCS8vIGludCBuPUludGVnZXIucGFyc2VJbnQoc1swXSk7CgkJCS8vIGludCBwPUludGVnZXIucGFyc2VJbnQoc1sxXSk7CgkJCS8vIC8vbG9uZyB0cz1Mb25nLnBhcnNlTG9uZyhici5yZWFkTGluZSgpKTsKCQkJLy9TdHJpbmdbXSBzPWJyLnJlYWRMaW5lKCkuc3BsaXQoIiAiKTsgCgkJCS8vIGNoYXJbXSBjaDE9czEudG9DaGFyQXJyYXkoKTsgCgkJCS8vIGNoYXJbXSBjaDI9czIudG9DaGFyQXJyYXkoKTsKCQkJLy8gQXJyYXlMaXN0PEludGVnZXI+IGFyPW5ldyBBcnJheUxpc3Q8SW50ZWdlcj4oKTsKCQkJLy8gQXJyYXlMaXN0PEludGVnZXI+IGFrPW5ldyBBcnJheUxpc3Q8SW50ZWdlcj4oKTsKCQkJLy8gaW50IGlkaz0wOwoJCQlBcnJheUxpc3Q8SW50ZWdlcj4gYXI9bmV3IEFycmF5TGlzdDxJbnRlZ2VyPigpOwoJCS8vCQlpbnRbXVtdIGFycj1uZXcgaW50W25dW25dOwoJCQoJCWludCBrPTI7CgkJQ29sbGVjdGlvbnMuc29ydChhcixDb2xsZWN0aW9ucy5yZXZlcnNlT3JkZXIoKSk7CgkJZm9yKGludCBpPTA7aTxzLmxlbmd0aDtpKyspewoJCQlhci5hZGQoSW50ZWdlci5wYXJzZUludChzW2ldKSk7CgkJfQoJCWludCB0b3RhbD0wOwoJCWludCBtaW49MTAwMDAwMDsKCQlpbnQgaT0wOwoJCQoJCXdoaWxlKGk8YXIuc2l6ZSgpLWspewoJCQlpbnQgY2hlY2s9MDsKCQkJaWYoYXIuZ2V0KGkpIT0wKXsKCQkJCWludCB0ZW1wPWkrazsKCQkJCWludCBqPWk7CgkJCQl3aGlsZShqPGFyLnNpemUoKSAmJiB0ZW1wPGFyLnNpemUoKSAmJiAgajx0ZW1wKXsKCQkJCQlpZihhci5nZXQoaik9PTApewoJCQkJCQl0ZW1wKys7aisrOwoJCQkJCQkKCQkJCQl9ZWxzZXsKCQkJCQkJY2hlY2srKzsKCQkJCQkJbWluPU1hdGgubWluKGFyLmdldChqKSxtaW4pOwoJCQkJCQlqKys7CgkJCQkJCQoJCQkJCX0KCQkJCX0KCQkJCWo9aTsKCQkJCXRlbXA9aStrOwoJCQkKCQkJCQoJCQkJCS8vIGlmKGNoZWNrIT1rKXsKCQkJCQkvLyAJYnJlYWs7CgkJCQkJLy8gfQoJCQkJCgkJCQkJdG90YWwrPW1pbjsKCQkJCQkvLwlTeXN0ZW0ub3V0LnByaW50bG4odG90YWwpOwoJCQkJd2hpbGUoajxhci5zaXplKCkgJiYgdGVtcDxhci5zaXplKCkgJiYgajx0ZW1wKXsKCQkJCQlpZihhci5nZXQoaik9PTApewoJCQkJCQl0ZW1wKys7aisrOwoJCQkJCQkKCQkJCQl9ZWxzZXsKCQkJCQkJCgkJCQkJCWFyLnNldChqLGFyLmdldChqKS1taW4pOwoJCQkJCQlqKys7CgkJCQkJCQoJCQkJCX0KCQkJCX0KCQkJCQoJCQkJCgkJCQkKCQkJCQoJCQl9ZWxzZXsKCQkJCWkrKzsKCQkJfQoJCQkKCQkJCgkJCQoJCQkKCQkJCgkJfQoJCVN5c3RlbS5vdXQucHJpbnRsbih0b3RhbCk7CgkJCgkJCgkJCgkJCgkJCgl9Cn0=