#ifndef _NAV_RANDOM
#define _NAV_RANDOM

int getRandomInt(int min=0, int max=32768);

#endif