#include <sys/time.h>
#include <time.h>


static inline double GetMilliSeconds() {
  timeval time_val;
  gettimeofday(&time_val, NULL);
  return time_val.tv_sec * 1000 + double(time_val.tv_usec)/1000;
}