function initGlobals462() { 
}


function main102() { 
    initGlobals462();
    if (foo183(7531) == 7) {
        testSuccess902();
    } else {
    };
}


function config795() { 
}


function foo183(integer x366) returns integer { 
    if (x_366 > 1000) {
        return foo183((x_366 div 1000));
    } else {
    };
    if (x_366 > 100) {
        return foo183((x_366 div 100));
    } else {
    };
    if (x_366 > 10) {
        return foo183((x_366 div 10));
    } else {
    };
    return x_366;
}


IS_NATIVE function testSuccess902() { 
}