int readPositiveInt()
{
    int n, r;

    do
    {
        r = scanf("%d", &n);
        while(getchar() != '\n');
    }
    while(r != 1 || n <= 0);

    return n;
}