Constant DTS_TIMEFORMAT 

pub const DTS_TIMEFORMAT: u32 = 9u32;