String out(String index) { String? dd = texts[index]; if(dd == null || dd.isEmpty){ return ''; } return dd; }