4
7
7
20