Constant DEFAULT_REFRESH_INTERVAL_MS 

const DEFAULT_REFRESH_INTERVAL_MS: u64 = 10_000;