pub const KDSKBLED: u32 = 19301;