#include <stdio.h>

int main(void)
{
    int sum = 0;

    while( sum < 10 )
    {
        switch( sum )
        {
            case 0:
                sum += 1; 
            case 2:
                sum += 2;  
            case 3:
                sum += 3;
                break;  
            default:
                sum += 7;
                break;
        }
    }
    
    printf("%d", sum);
    
    return 0;
}