let b = b as usize;
a[..b].to_string()