Fai così:
codice:
int ok;
int res;
do
{
    ok = scanf("%5d", &res);
}while (ok==0)