#include <stdio.h>

static int process( int num )
{
    return 4500/num;
}

int main( int argc, char *argv[] )
{
    printf("%d\n", process(2) );

    return 0;
}