#include "nav_random.h"

#include <cstdlib>
#include <ctime>
using namespace std;

int getRandomInt(int min, int max)
{
    static time_t TimeInSeconds = 0;
    if (TimeInSeconds==0)
    {
        time( &TimeInSeconds );
        srand((unsigned int)TimeInSeconds);
    }
    return(min+(rand()*(max-min))/(RAND_MAX+1));
}