pub const XK_braille_dots_12457: u32 = 16787547;